23 lines
347 B
Text
23 lines
347 B
Text
|
|
node f(x,z:int) returns (o1,o2:int)
|
|
var o4:int;
|
|
let
|
|
switch (x = z)
|
|
| true do
|
|
o1 = 0 -> pre o1 + 2;
|
|
o2 = o4 + 1;
|
|
o4 = 3
|
|
| false do
|
|
o1 = 4;
|
|
o2 = 5;
|
|
o4 = 5
|
|
end;
|
|
tel
|
|
|
|
node main() returns (o1,o2:int)
|
|
var x,z:int;
|
|
let
|
|
x = 0 fby 1 fby 2 fby x;
|
|
z = 1 fby 2 fby z;
|
|
(o1,o2) = f(x,z);
|
|
tel
|