path: root/tests/source/test4.scade

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