diff options
Diffstat (limited to 'test/libsolidity/smtCheckerTests/029_storage_value_vars.sol')
-rw-r--r-- | test/libsolidity/smtCheckerTests/029_storage_value_vars.sol | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/test/libsolidity/smtCheckerTests/029_storage_value_vars.sol b/test/libsolidity/smtCheckerTests/029_storage_value_vars.sol new file mode 100644 index 00000000..84f6c77e --- /dev/null +++ b/test/libsolidity/smtCheckerTests/029_storage_value_vars.sol @@ -0,0 +1,22 @@ +pragma experimental SMTChecker; +contract C +{ + address a; + bool b; + uint c; + function f(uint x) public { + if (x == 0) + { + a = 0x0000000000000000000000000000000000000100; + b = true; + } + else + { + a = 0x0000000000000000000000000000000000000200; + b = false; + } + assert(a > 0x0000000000000000000000000000000000000000 && b); + } +} +// ---- +// Warning: (362-421): Assertion violation happens here |