diff options
Diffstat (limited to 'test/uscxml')
-rw-r--r-- | test/uscxml/promela/test-ltl.scxml | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/test/uscxml/promela/test-ltl.scxml b/test/uscxml/promela/test-ltl.scxml new file mode 100644 index 0000000..a584e06 --- /dev/null +++ b/test/uscxml/promela/test-ltl.scxml @@ -0,0 +1,16 @@ +<scxml datamodel="promela"> + <!-- + promela-event-source: + toogle.foo + --> + <datamodel> + <data id="foo" expr="0" type="bit" /> + </datamodel> + <parallel id="main"> + <state id="toggleFoo"> + <transition event="toggle.foo"> + <script>foo = !foo;</script> + </transition> + </state> + </parallel> +</scxml>
\ No newline at end of file |