diff options
author | Stefan Radomski <github@mintwerk.de> | 2017-08-02 06:04:38 (GMT) |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-08-02 06:04:38 (GMT) |
commit | 97e72c5cb5e70eca231f74f01097c9b2392b4c98 (patch) | |
tree | f90d4ceb9d48fdc0dc240fce031dc81308e471dd /test/w3c/promela | |
parent | 998e624aaddb237767f5d80e0ff12eb2cfdc814b (diff) | |
parent | 045bde78c0587316e0373c7698413412d0f315f9 (diff) | |
download | uscxml-97e72c5cb5e70eca231f74f01097c9b2392b4c98.zip uscxml-97e72c5cb5e70eca231f74f01097c9b2392b4c98.tar.gz uscxml-97e72c5cb5e70eca231f74f01097c9b2392b4c98.tar.bz2 |
Merge pull request #165 from tklab-tud/sradomski
Reenabled V8, Debugger tests and smaller fixes
Diffstat (limited to 'test/w3c/promela')
-rw-r--r-- | test/w3c/promela/test310.scxml | 2 | ||||
-rw-r--r-- | test/w3c/promela/test411.scxml | 2 | ||||
-rw-r--r-- | test/w3c/promela/test413.scxml | 4 |
3 files changed, 4 insertions, 4 deletions
diff --git a/test/w3c/promela/test310.scxml b/test/w3c/promela/test310.scxml index 2428dcd..43d80f0 100644 --- a/test/w3c/promela/test310.scxml +++ b/test/w3c/promela/test310.scxml @@ -3,7 +3,7 @@ <scxml xmlns="http://www.w3.org/2005/07/scxml" xmlns:conf="http://www.w3.org/2005/scxml-conformance" version="1.0" datamodel="promela" initial="p"> <parallel id="p"> <state id="s0"> - <transition cond="config[S1]" target="pass"/> + <transition cond="config[s1]" target="pass"/> <transition target="fail"/> </state> <state id="s1"/> diff --git a/test/w3c/promela/test411.scxml b/test/w3c/promela/test411.scxml index 317b8c4..4b8da3e 100644 --- a/test/w3c/promela/test411.scxml +++ b/test/w3c/promela/test411.scxml @@ -16,7 +16,7 @@ timeout also indicates failure --> <transition event="event2" target="pass"/> <state id="s01"> <onentry> - <if cond="config[S01]"> + <if cond="config[s01]"> <raise event="event2"/> </if> </onentry> diff --git a/test/w3c/promela/test413.scxml b/test/w3c/promela/test413.scxml index f4c983d..70d5bed 100644 --- a/test/w3c/promela/test413.scxml +++ b/test/w3c/promela/test413.scxml @@ -16,7 +16,7 @@ states we should not enter all have immediate transitions to failure in them --> <transition target="fail"/> </state> <state id="s2p112"> - <transition cond="config[S2P122]" target="pass"/> + <transition cond="config[s2p122]" target="pass"/> </state> </state> <!-- end s2p11 --> @@ -25,7 +25,7 @@ states we should not enter all have immediate transitions to failure in them --> <transition target="fail"/> </state> <state id="s2p122"> - <transition cond="config[S2P112]" target="pass"/> + <transition cond="config[s2p112]" target="pass"/> </state> </state> </parallel> |