diff options
author | Galin Simeonov <gts@volconst.com> | 2021-06-04 13:04:36 +0300 |
---|---|---|
committer | Galin Simeonov <gts@volconst.com> | 2021-07-15 18:04:02 +0300 |
commit | b845e4754be86d2216733d9bea75cb301f38739d (patch) | |
tree | 5ba6355d1cb36b1bfaadf82781796b1c42b9202b /tests | |
parent | 76fc38b3cdfded2911b464baa7b182b5102318d1 (diff) | |
download | MEGATRON-b845e4754be86d2216733d9bea75cb301f38739d.tar.gz |
added expressions and the if statement
Diffstat (limited to 'tests')
-rw-r--r-- | tests/.test5.swp | bin | 0 -> 12288 bytes | |||
-rw-r--r-- | tests/test4 | 2 | ||||
-rw-r--r-- | tests/test5 | 11 |
3 files changed, 12 insertions, 1 deletions
diff --git a/tests/.test5.swp b/tests/.test5.swp Binary files differnew file mode 100644 index 0000000..6e03612 --- /dev/null +++ b/tests/.test5.swp 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; + ]; +]; |