Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / tests / automata / test_counter.lus @ f20dc4db

History | View | Annotate | Download (260 Bytes)

1
node auto (x:bool) returns (_state: int);
2
var ok: bool;
3
let
4
  automaton mini_states
5
  state One : 
6
  let 
7
    _state, ok = (1, false);
8
  tel until true restart One
9
  -- state Two : 
10
  -- let 
11
  --   _state, ok = (2, false);
12
  -- tel until true restart One
13
tel