Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / automata / without_properties / test_counter.lus @ 02d89bbb

History | View | Annotate | Download (268 Bytes)

1 02d89bbb bourbouh
node test_counter (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