Remove out of date TODOs

This commit is contained in:
wechman
2022-09-28 12:05:41 +02:00
parent f9a6da293f
commit c274d07a73
3 changed files with 0 additions and 3 deletions
@@ -60,7 +60,6 @@ function geq(Int x, Int) pure returns (bool) {
return uw(x) >= 10;
}
// TODO test that side-effects are executed properly.
contract C {
function test_bitor() public pure returns (Int) { return w(1) | w(2); }
function test_bitand() public pure returns (Int) { return w(1) | w(2); }