diff options
Diffstat (limited to 'test/libsolidity/smtCheckerTests/loops/for_1_fail.sol')
| -rw-r--r-- | test/libsolidity/smtCheckerTests/loops/for_1_fail.sol | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/libsolidity/smtCheckerTests/loops/for_1_fail.sol b/test/libsolidity/smtCheckerTests/loops/for_1_fail.sol index 3858403a..2be01c2d 100644 --- a/test/libsolidity/smtCheckerTests/loops/for_1_fail.sol +++ b/test/libsolidity/smtCheckerTests/loops/for_1_fail.sol @@ -12,6 +12,6 @@ contract C } } // ---- -// Warning: (176-181): Overflow (resulting value larger than 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) happens here -// Warning: (172-181): Overflow (resulting value larger than 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) happens here +// Warning: (176-181): Overflow (resulting value larger than 2**256 - 1) happens here +// Warning: (172-181): Overflow (resulting value larger than 2**256 - 1) happens here // Warning: (189-203): Assertion violation happens here |