diff options
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/.test6.swp | bin | 12288 -> 0 bytes | |||
| -rw-r--r-- | tests/test6 | 15 |
2 files changed, 14 insertions, 1 deletions
diff --git a/tests/.test6.swp b/tests/.test6.swp Binary files differdeleted file mode 100644 index dc85c11..0000000 --- a/tests/.test6.swp +++ /dev/null diff --git a/tests/test6 b/tests/test6 index 3fed6d3..2b0411e 100644 --- a/tests/test6 +++ b/tests/test6 @@ -19,8 +19,21 @@ machine temp_switch starting on A; transitions [ - from A to B on event A granted !light_bulb.light_on + from A to B on event A granted !light_bulb.light_on || temp_switch2.A if !light_bulb.light_on execute kek; + else + execute zeh | kek; ]; ]; +machine temp_switch2 +[ + states [A,B]; + events [A]; + starting on A; + transitions + [ + from A to A on event A; + ]; + +]; |