solidity/test/libsolidity/smtCheckerTests/operators/conditional_assignment_statevar_1.sol
2020-08-22 07:52:55 +02:00

13 lines
181 B
Solidity

pragma experimental SMTChecker;
contract C {
uint a;
bool b;
function f() public returns(uint c) {
c = b ? a + 1 : a--;
assert(c > a);
}
}
// ----