Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / tests / automata / triangle.lus @ 46fa5a52

History | View | Annotate | Download (146 Bytes)

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