From 32fe4768a9f9a3872eec541c1e7b3f3c94c8428c Mon Sep 17 00:00:00 2001 From: Leonardo Alt Date: Wed, 14 Nov 2018 17:14:07 +0100 Subject: Organize smt tests in subdirectories --- test/libsolidity/smtCheckerTests/overflow/simple_overflow.sol | 6 ++++++ 1 file changed, 6 insertions(+) create mode 100644 test/libsolidity/smtCheckerTests/overflow/simple_overflow.sol (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 new file mode 100644 index 00000000..894ff1a4 --- /dev/null +++ b/test/libsolidity/smtCheckerTests/overflow/simple_overflow.sol @@ -0,0 +1,6 @@ +pragma experimental SMTChecker; +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 -- cgit v1.2.3