Commit 1b7f7de 1 parent d1ac992 commit 1b7f7de Copy full SHA for 1b7f7de
File tree 1 file changed +2
-2
lines changed
1 file changed +2
-2
lines changed Original file line number Diff line number Diff line change @@ -49,8 +49,8 @@ contract TestThreeHeapOrderingInvariant is Test {
49
49
50
50
for (uint256 i; i < length; ++ i) {
51
51
assertTrue ((i * 3 + 1 >= length || i * 3 + 1 >= heap.size () || heap.accountsValue (i) >= heap.accountsValue (i * 3 + 1 )));// forgefmt: disable-line
52
- assertTrue ((i * 3 + 2 >= length || i * 3 + 2 >= heap.size ()|| heap.accountsValue (i) >= heap.accountsValue (i * 3 + 2 )));// forgefmt: disable-line
53
- assertTrue ((i * 3 + 3 >= length || i * 3 + 3 >= heap.size ()|| heap.accountsValue (i) >= heap.accountsValue (i * 3 + 3 )));// forgefmt: disable-line
52
+ assertTrue ((i * 3 + 2 >= length || i * 3 + 2 >= heap.size () || heap.accountsValue (i) >= heap.accountsValue (i * 3 + 2 )));// forgefmt: disable-line
53
+ assertTrue ((i * 3 + 3 >= length || i * 3 + 3 >= heap.size () || heap.accountsValue (i) >= heap.accountsValue (i * 3 + 3 )));// forgefmt: disable-line
54
54
}
55
55
}
56
56
You can’t perform that action at this time.
0 commit comments