aboutsummaryrefslogtreecommitdiffstats
path: root/tests/test4
blob: 579e54d9d841f43fd7e4cc8476c7d2ce35d7d1d8 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
machine light_bulb
[
	states [ light_on , light_off ];
	events [ turn_on , turn_off , switch ];
	starting on light_off;
	transitions
	[
		from light_on to light_off on event turn_off execute kek2 | kek;
		from light_on to light_off on event switch;
		from light_off to light_on on event turn_on;
		from light_off to light_on on event switch execute kek;

	];
];
machine temp_switch
[
	states [A,B];
	events [A];
	starting on A;
	transitions
       	[
		from ( !A && !light_on ) to B on event A execute kek;
	];
];