Skip to content

Commit 4a53b74

Browse files
committed
replace inv_test_minimum value with the correct one
1 parent 2bfa2d0 commit 4a53b74

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

contracts/Math/ABDKMath64x64/ABDKMath64x64PropertyTests.sol

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1079,8 +1079,8 @@ contract CryticABDKMath64x64Properties {
10791079
function inv_test_minimum() public view {
10801080
int128 inv_minimum;
10811081

1082-
try this.inv(MAX_64x64) {
1083-
inv_minimum = this.inv(MAX_64x64);
1082+
try this.inv(MIN_64x64) {
1083+
inv_minimum = this.inv(MIN_64x64);
10841084
assert(equal_within_precision(abs(inv_minimum), ZERO_FP, 10));
10851085
} catch {
10861086
// Unexpected, the function must not revert

0 commit comments

Comments
 (0)