Project

General

Profile

Revision f910b2ed

View differences:

tests/automata/restart_example.lus
1
node N(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
	

Also available in: Unified diff