diff options
Diffstat (limited to 'tests/test6')
| -rw-r--r-- | tests/test6 | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/tests/test6 b/tests/test6 new file mode 100644 index 0000000..3fed6d3 --- /dev/null +++ b/tests/test6 @@ -0,0 +1,26 @@ +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 to B on event A granted !light_bulb.light_on + if !light_bulb.light_on + execute kek; + ]; +]; |