solidity/test/libsolidity/smtCheckerTests/operators/unary_add.sol

18 lines
278 B
Solidity

pragma experimental SMTChecker;
contract C
{
function f() public pure {
uint x = 2;
uint a = ++x;
assert(x == 3);
assert(a == 3);
uint b = x++;
assert(x == 4);
// Should fail.
assert(b < 3);
}
}
// ----
// Warning: (194-207): Assertion violation happens here