Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (273 Bytes)

1
node restart_example(c:bool) returns (o:int)
2
let
3
	automaton a
4
	state S1:
5
	var cpt_S1:int;
6
	let
7
		cpt_S1 = 0-> pre(cpt_S1)+1;
8
		o = cpt_S1;
9
	tel
10
	until c resume S2
11
	
12
	state S2:
13
	var cpt_S2;
14
	let
15
		cpt_S2 = 5 -> pre(cpt_S2)+1;
16
		o = cpt_S2;
17
	tel
18
	until c  restart S1
19
	
20
tel
21