diff options
| author | Stefan Radomski <radomski@tk.informatik.tu-darmstadt.de> | 2014-04-10 21:48:31 (GMT) |
|---|---|---|
| committer | Stefan Radomski <radomski@tk.informatik.tu-darmstadt.de> | 2014-04-10 21:48:31 (GMT) |
| commit | 5180e4666a314db36a15d953fdfa38af4f285758 (patch) | |
| tree | 412e127800aa6d57b4a1f675e4bd206b418f62a8 /test/samples/uscxml/promela | |
| parent | 6c7886228f574939ad20ec740543d2aa172bdf42 (diff) | |
| download | uscxml-5180e4666a314db36a15d953fdfa38af4f285758.zip uscxml-5180e4666a314db36a15d953fdfa38af4f285758.tar.gz uscxml-5180e4666a314db36a15d953fdfa38af4f285758.tar.bz2 | |
More work on promela DM
Diffstat (limited to 'test/samples/uscxml/promela')
| -rw-r--r-- | test/samples/uscxml/promela/test-simple-promela.scxml | 28 |
1 files changed, 26 insertions, 2 deletions
diff --git a/test/samples/uscxml/promela/test-simple-promela.scxml b/test/samples/uscxml/promela/test-simple-promela.scxml index 4738a86..d209ca6 100644 --- a/test/samples/uscxml/promela/test-simple-promela.scxml +++ b/test/samples/uscxml/promela/test-simple-promela.scxml @@ -1,8 +1,32 @@ <scxml datamodel="promela"> <datamodel> <data> - bit v1, v2, v3, v4, v5; + bool b1; </data> + <data> + bool b2, b3, b4; + </data> + <data> + bool b5, b6 = 3 + 4, b7, b8, b9; + </data> + <data> + bool c1; bool c2; bool c3; bool c4; + bool c5; bool c6; bool c7, c8 = 4 + 6, c9; + </data> + <data> + byte state = 1; + mtype = { + FATAL, NON_FATAL, COMPLETE, INCOMPLETE, + red, white, blue + } + </data> + <data> + bool busy[3], lazy[4 + 5]; + </data> + <data> + bool v3, v2 = 1; + </data> + </datamodel> <state id="init"> <onentry> @@ -10,7 +34,7 @@ v2=1; v3=1; </script> </onentry> - <transition target="pass" cond="v2==(v3==v4)"> + <transition target="pass" cond="v2==v3"> </transition> <transition target="fail" /> </state> |