summaryrefslogtreecommitdiffstats
path: root/test/w3c/promela
diff options
context:
space:
mode:
authorStefan Radomski <github@mintwerk.de>2017-06-05 13:02:25 (GMT)
committerStefan Radomski <github@mintwerk.de>2017-06-05 13:02:25 (GMT)
commitc2624fcf87cac6b56c10771cdd88c3aaecbf2488 (patch)
tree7c2e203c7997bc93a4e46a59d025b766f98b58bb /test/w3c/promela
parentd1404b669a00a6cff2ac35f09d0222c1d9ab4bff (diff)
downloaduscxml-c2624fcf87cac6b56c10771cdd88c3aaecbf2488.zip
uscxml-c2624fcf87cac6b56c10771cdd88c3aaecbf2488.tar.gz
uscxml-c2624fcf87cac6b56c10771cdd88c3aaecbf2488.tar.bz2
Added more encoding tests
Diffstat (limited to 'test/w3c/promela')
-rw-r--r--test/w3c/promela/test-enc-utf8.scxml (renamed from test/w3c/promela/test-utf8.scxml)6
1 files changed, 5 insertions, 1 deletions
diff --git a/test/w3c/promela/test-utf8.scxml b/test/w3c/promela/test-enc-utf8.scxml
index f9ce782..998a1d3 100644
--- a/test/w3c/promela/test-utf8.scxml
+++ b/test/w3c/promela/test-enc-utf8.scxml
@@ -6,7 +6,11 @@
<data id="Var2" type="string" expr="'ü'"/>
</datamodel>
<state id="s0">
- <transition cond="Var1==Var2" target="pass"/>
+ <transition cond="Var1==Var2" target="s1"/>
+ <transition target="fail"/>
+ </state>
+ <state id="s1">
+ <transition cond="Var1=='ü'" target="pass"/>
<transition target="fail"/>
</state>
<final xmlns:scxml="http://www.w3.org/2005/07/scxml" id="pass">