diff options
Diffstat (limited to 'tests/test6')
| -rw-r--r-- | tests/test6 | 15 |
1 files changed, 14 insertions, 1 deletions
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; + ]; + +]; |