626b6cad3f
- ckannot.ept : bug with clock annotations handling in Normalize (corrected) - threestates.ept : handling of merges in Normalize (corrected)
30 lines
409 B
Text
30 lines
409 B
Text
node f(x:int) returns (y:int)
|
|
let
|
|
automaton
|
|
state A
|
|
do
|
|
y = 1;
|
|
until (x = 0) then B
|
|
state B
|
|
do
|
|
y = 2;
|
|
until (x = 1) then C
|
|
state C
|
|
do
|
|
automaton
|
|
state D
|
|
do
|
|
y = 3;
|
|
until (x = 2) then E
|
|
state E
|
|
do
|
|
y = 4;
|
|
until (x = 3) then F
|
|
state F
|
|
do
|
|
y = 5;
|
|
until (x = 4) then D
|
|
end
|
|
until (x = 5) then A
|
|
end
|
|
tel
|