test/libsolidity/smtCheckerTests/functions/functions_recursive.sol


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

pragma experimental SMTChecker;
contract C
{
    uint a;
    function g() public {
        if (a > 0)
        {
            a = a - 1;
            g();
        }
        else
            assert(a == 0);
    }
}

// ----
// Warning: (111-114): Assertion checker does not support recursive function calls.