From fb6fd1b3c25fd9c2bc9b8abb97fd150bc4ce219c Mon Sep 17 00:00:00 2001 From: Kevin Kelley Date: Thu, 22 Nov 2018 08:02:25 +0800 Subject: add a 'readable' format for large hex values --- test/libsolidity/smtCheckerTests/overflow/simple_overflow.sol | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'test/libsolidity/smtCheckerTests/overflow/simple_overflow.sol') diff --git a/test/libsolidity/smtCheckerTests/overflow/simple_overflow.sol b/test/libsolidity/smtCheckerTests/overflow/simple_overflow.sol index 894ff1a4..ec819b80 100644 --- a/test/libsolidity/smtCheckerTests/overflow/simple_overflow.sol +++ b/test/libsolidity/smtCheckerTests/overflow/simple_overflow.sol @@ -3,4 +3,4 @@ contract C { function f(uint a, uint b) public pure returns (uint) { return a + b; } } // ---- -// Warning: (112-117): Overflow (resulting value larger than 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) happens here +// Warning: (112-117): Overflow (resulting value larger than 2**256 - 1) happens here -- cgit v1.2.3