1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
pragma experimental SMTChecker; contract C { function h(uint x) public pure returns (uint) { return k(x); } function k(uint x) public pure returns (uint) { return x; } function g() public pure { uint x; x = h(2); assert(x > 0); } }