diff options
Diffstat (limited to 'tests')
-rw-r--r-- | tests/test | 16 | ||||
-rw-r--r-- | tests/test2 | 2 | ||||
-rw-r--r-- | tests/test3 | 21 |
3 files changed, 39 insertions, 0 deletions
diff --git a/tests/test b/tests/test new file mode 100644 index 0000000..c976a6d --- /dev/null +++ b/tests/test @@ -0,0 +1,16 @@ +machine flicker +[ + states [ light_off , light_on ]; + + starting on light_on; + + events [ one_second ]; + transitions + [ + from light_on to light_off on event one_second + execute turn_off_light; + from light_off to light_on on event one_second + execute turn_on_light; + ]; +]; + diff --git a/tests/test2 b/tests/test2 new file mode 100644 index 0000000..a5342f0 --- /dev/null +++ b/tests/test2 @@ -0,0 +1,2 @@ +"1" +"12" diff --git a/tests/test3 b/tests/test3 new file mode 100644 index 0000000..43e47d1 --- /dev/null +++ b/tests/test3 @@ -0,0 +1,21 @@ +machine light_bulb +[ + states [ light_on , light_off ]; + events [ switch_state , turn_on , turn_off ]; + + starting on light_off; + + transitions + [ + from light_on to light_off on event switch_state execute light_switch(); + from light_off to light_on on event switch_state execute light_switch(); + + from light_on to light_off on event turn_on execute light_switch(); + from light_off to light_on on event turn_off execute light_switch(); + ]; +]; + +transition light_switch() +{ + +} |