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 | 11 +++++++++++ 1 file changed, 11 insertions(+) create mode 100644 tests/test5 (limited to 'tests/test5') 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