heptagon/test/good/t5.ept

14 lines
245 B
Text
Raw Normal View History

2010-06-21 12:11:06 +02:00
(* pour debugger
set arguments -v test/good/t1.mls *)
node f(x,z:int) returns (o1:int)
var o: int;
let
present
| (x = 0) do o = 0 -> pre(o+0) + 1
| (z = 2) do o = 4 -> 5
default do o = 2
end;
o1 = o;
tel