diff options
| author | Stefan Radomski <radomski@tk.informatik.tu-darmstadt.de> | 2014-10-21 18:45:42 (GMT) |
|---|---|---|
| committer | Stefan Radomski <radomski@tk.informatik.tu-darmstadt.de> | 2014-10-21 18:45:42 (GMT) |
| commit | c66fa34eb48f81da05966b947a2e37067318a09f (patch) | |
| tree | ad365818c666fb670721fc3c1aec64049e40012b /test/uscxml/promela | |
| parent | aa6cadbcc57c0f9562247b29cac8d653c5a18956 (diff) | |
| download | uscxml-c66fa34eb48f81da05966b947a2e37067318a09f.zip uscxml-c66fa34eb48f81da05966b947a2e37067318a09f.tar.gz uscxml-c66fa34eb48f81da05966b947a2e37067318a09f.tar.bz2 | |
More output when transforming
Diffstat (limited to 'test/uscxml/promela')
| -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 |