tests/source/test3.scade


1
2
3
4
5
6
7

function test(i: int) returns(probe a, b, c: int; exit: bool)
let
    exit = i >= 5;
    a = if i < 0 then -i else i;
    b = 0;
    c = 0;
tel