diff options
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"> |