summaryrefslogblamecommitdiff
path: root/tests/source/test0.scade
blob: 65a5331a4f250e0a2987c54f19e3c5c1e19c9c69 (plain) (tree)
1
2
3
4
5
6
7






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