test/libsolidity/smtCheckerTests/functions/functions_storage_var_2.sol


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

pragma experimental SMTChecker;
contract C
{
    uint a;
    function f(uint x) public {
        uint y;
        a = (y = x);
    }
    function g() public {
        f(1);
        f(42);
        assert(a > 1);
    }
}