From b845e4754be86d2216733d9bea75cb301f38739d Mon Sep 17 00:00:00 2001 From: Galin Simeonov Date: Fri, 4 Jun 2021 13:04:36 +0300 Subject: added expressions and the if statement --- tests/.test5.swp | Bin 0 -> 12288 bytes tests/test4 | 2 +- tests/test5 | 11 +++++++++++ 3 files changed, 12 insertions(+), 1 deletion(-) create mode 100644 tests/.test5.swp create mode 100644 tests/test5 (limited to 'tests') diff --git a/tests/.test5.swp b/tests/.test5.swp new file mode 100644 index 0000000..6e03612 Binary files /dev/null and b/tests/.test5.swp differ diff --git a/tests/test4 b/tests/test4 index 5130059..579e54d 100644 --- a/tests/test4 +++ b/tests/test4 @@ -19,6 +19,6 @@ machine temp_switch starting on A; transitions [ - from ( A && !light_on ) to B on event A execute kek; + from ( !A && !light_on ) to B on event A execute kek; ]; ]; diff --git a/tests/test5 b/tests/test5 new file mode 100644 index 0000000..fc9ff67 --- /dev/null +++ b/tests/test5 @@ -0,0 +1,11 @@ +machine A +[ + states [ A ]; + events [ A ]; + starting on A; + transitions + [ + from A to A on event A given (B.C && !C.D) + execute eke; + ]; +]; -- cgit v1.2.3