solidity/test/libsolidity/smtCheckerTests/inheritance/state_variables_3.sol
2023-03-09 14:59:32 +01:00

20 lines
354 B
Solidity

contract Base {
uint x;
uint private t;
}
contract C is Base {
uint private z;
function f(uint y) public {
require(x < 10);
require(y < 100);
z = x + y;
assert(z < 150);
}
}
// ====
// SMTEngine: all
// ----
// Info 1391: CHC: 2 verification condition(s) proved safe! Enable the model checker option "show proved safe" to see all of them.