summaryrefslogblamecommitdiff
path: root/tests/source/test2.scade
blob: 28a3e2d0b186e20c47b37193b06f7cf41c3092e9 (plain) (tree)
1
2
3
4
5
6
7
8
                                                             

                          



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