aboutsummaryrefslogtreecommitdiffstats
path: root/tests/test4
diff options
context:
space:
mode:
Diffstat (limited to 'tests/test4')
-rw-r--r--tests/test424
1 files changed, 24 insertions, 0 deletions
diff --git a/tests/test4 b/tests/test4
new file mode 100644
index 0000000..5130059
--- /dev/null
+++ b/tests/test4
@@ -0,0 +1,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;
+ ];
+];