Results
2
issues of
Tifo
A small change to fix issue #13
### Describe the issue: These 2 tests: ```java contract CryticABDKMath64x64Properties { ... function add_test_range(int128 x, int128 y) public view { int128 result; try this.add(x, y) { result = this.add(x, y);...