solidity/test/libsolidity/smtCheckerTests/functions/this_state.sol

16 lines
222 B
Solidity

pragma experimental SMTChecker;
contract C
{
uint public x;
function g() public {
x = 0;
this.h();
// Function call is inlined.
assert(x == 2);
}
function h() public {
x = 2;
}
}