blob: 3793f411672a0cccc43aa0d1a005a26f0ab4a794 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
pragma experimental SMTChecker;
contract C
{
function h(uint x) public pure returns (uint) {
return x;
}
function g() public pure {
uint x;
x = (h)(42);
assert(x > 0);
}
}
// ----
|