20 lines
328 B
Text
20 lines
328 B
Text
(* 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
|
|
|
|
node main() returns (o:int)
|
|
var x:int;
|
|
let
|
|
o = f(x,x);
|
|
x = 2 fby 1 fby 0;
|
|
tel
|