From c875f8795586056a676e8a643a44211041ce44d2 Mon Sep 17 00:00:00 2001 From: Galin Simeonov Date: Fri, 4 Jun 2021 22:49:33 +0300 Subject: various stuffs --- tests/test6 | 15 ++++++++++++++- 1 file changed, 14 insertions(+), 1 deletion(-) (limited to 'tests/test6') 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; + ]; + +]; -- cgit v1.2.3