summaryrefslogtreecommitdiffstats
path: root/test/samples
diff options
context:
space:
mode:
authorStefan Radomski <radomski@tk.informatik.tu-darmstadt.de>2014-04-11 07:58:48 (GMT)
committerStefan Radomski <radomski@tk.informatik.tu-darmstadt.de>2014-04-11 07:58:48 (GMT)
commit71c334bf4e35559496feac3f3cf00b72ceb88812 (patch)
tree859f78af51c8e929559a53d70492035ef3fad862 /test/samples
parent5180e4666a314db36a15d953fdfa38af4f285758 (diff)
downloaduscxml-71c334bf4e35559496feac3f3cf00b72ceb88812.zip
uscxml-71c334bf4e35559496feac3f3cf00b72ceb88812.tar.gz
uscxml-71c334bf4e35559496feac3f3cf00b72ceb88812.tar.bz2
More work on promela DM
changed const of Data subscript operator and introduced at(key) and item(index)
Diffstat (limited to 'test/samples')
-rw-r--r--test/samples/uscxml/promela/test-simple-promela.scxml6
1 files changed, 5 insertions, 1 deletions
diff --git a/test/samples/uscxml/promela/test-simple-promela.scxml b/test/samples/uscxml/promela/test-simple-promela.scxml
index d209ca6..00b95e4 100644
--- a/test/samples/uscxml/promela/test-simple-promela.scxml
+++ b/test/samples/uscxml/promela/test-simple-promela.scxml
@@ -31,10 +31,14 @@
<state id="init">
<onentry>
<script>
+ busy[4 - 3] = 1;
+ </script>
+ <log expr="busy" />
+ <script>
v2=1; v3=1;
</script>
</onentry>
- <transition target="pass" cond="v2==v3">
+ <transition target="pass" cond="v2==v3 &amp;&amp; busy[1] == 1">
</transition>
<transition target="fail" />
</state>