heptagon/test/bad/t5.ept

21 lines
312 B
Text
Raw Normal View History

2010-06-21 12:11:06 +02:00
node f(x:int) returns (y,z:int)
let
automaton
2011-05-23 14:04:11 +02:00
state A
2010-06-21 12:11:06 +02:00
do y = x;
2011-05-23 14:04:11 +02:00
z = 4;
2010-06-21 12:11:06 +02:00
until y = 2 then B
2011-05-23 14:04:11 +02:00
state B
2010-06-21 12:11:06 +02:00
do y = x;
2011-05-23 14:04:11 +02:00
automaton
state C
do z = y
until z = 3 then D
state D
do z = x
until z = 4 then A
end
2010-06-21 12:11:06 +02:00
until y = 2 then A
end;
tel