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

17 lines
323 B
Solidity
Raw Normal View History

contract C
{
uint public x;
function g() public {
x = 0;
this.h();
assert(x == 2);
}
function h() public {
x = 2;
}
}
2021-03-31 15:11:54 +00:00
// ====
// SMTEngine: all
2020-07-13 18:48:00 +00:00
// ----
2023-02-09 16:07:13 +00:00
// Info 1391: CHC: 1 verification condition(s) proved safe! Enable the model checker option "show proved safe" to see all of them.