diff options
author | Stefan Radomski <radomski@tk.informatik.tu-darmstadt.de> | 2014-12-05 11:06:09 (GMT) |
---|---|---|
committer | Stefan Radomski <radomski@tk.informatik.tu-darmstadt.de> | 2014-12-05 11:06:09 (GMT) |
commit | a5a139f46438148901ea6627b73d1bf6ae39b346 (patch) | |
tree | e043df6e22113184477a5ffb507f8ef14b7485e6 /test/w3c/promela | |
parent | af6609592298c5e047e37e5ae2b47e6a8edbb677 (diff) | |
download | uscxml-a5a139f46438148901ea6627b73d1bf6ae39b346.zip uscxml-a5a139f46438148901ea6627b73d1bf6ae39b346.tar.gz uscxml-a5a139f46438148901ea6627b73d1bf6ae39b346.tar.bz2 |
Support for initial attribute with nested scxml invokers
Diffstat (limited to 'test/w3c/promela')
-rw-r--r-- | test/w3c/promela/test510.scxml | 2 | ||||
-rw-r--r-- | test/w3c/promela/test522.scxml | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/test/w3c/promela/test510.scxml b/test/w3c/promela/test510.scxml index fbb2f25..3ddda76 100644 --- a/test/w3c/promela/test510.scxml +++ b/test/w3c/promela/test510.scxml @@ -3,7 +3,7 @@ <scxml xmlns="http://www.w3.org/2005/07/scxml" xmlns:conf="http://www.w3.org/2005/scxml-conformance" initial="s0" datamodel="promela" version="1.0"> <state id="s0"> <onentry> - <send event="timeout" delay="30s"/> + <send event="timeout" delay="30000"/> <send event="test" targetexpr="_ioprocessors.basichttp.location" type="http://www.w3.org/TR/scxml/#BasicHTTPEventProcessor"/> <!-- this creates an internal event --> <raise event="internal"/> diff --git a/test/w3c/promela/test522.scxml b/test/w3c/promela/test522.scxml index e31c289..d56f257 100644 --- a/test/w3c/promela/test522.scxml +++ b/test/w3c/promela/test522.scxml @@ -4,7 +4,7 @@ to send a message to the processor --> <scxml xmlns="http://www.w3.org/2005/07/scxml" xmlns:conf="http://www.w3.org/2005/scxml-conformance" initial="s0" datamodel="promela" version="1.0"> <state id="s0"> <onentry> - <send event="timeout" delay="30s"/> + <send event="timeout" delay="30000"/> <send event="test" type="http://www.w3.org/TR/scxml/#BasicHTTPEventProcessor" targetexpr="_ioprocessors.basichttp.location"/> </onentry> <!-- the event we receive should be called 'test', but that's not actually |