aboutsummaryrefslogtreecommitdiffstats
path: root/tests/test5
blob: fc9ff67e74a655ead17e5fef7cca5e63fc0219d0 (plain)
1
2
3
4
5
6
7
8
9
10
11
machine A
[
	states [ A ];
	events [ A ];
	starting on A;
	transitions
	[
		from A to A on event A given (B.C && !C.D)
			execute eke;
	];
];