lustrec-tests/tests/automata/triangle.lus @ 4784e95f
| 1 |
node triangle (r :bool) returns (o: int ); |
|---|---|
| 2 |
let
|
| 3 |
automaton trivial |
| 4 |
state One: |
| 5 |
unless r or (pre o = 100) restart One |
| 6 |
let
|
| 7 |
o = 0 -> 1 + pre o; |
| 8 |
tel
|
| 9 |
tel
|