diff options
Diffstat (limited to 'test/w3c/promela/test352.scxml')
-rw-r--r-- | test/w3c/promela/test352.scxml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test/w3c/promela/test352.scxml b/test/w3c/promela/test352.scxml index 464ee32..a964a04 100644 --- a/test/w3c/promela/test352.scxml +++ b/test/w3c/promela/test352.scxml @@ -6,6 +6,7 @@ </datamodel> <state id="s0"> <onentry> + <send delay="5s" event="timeout"/> <send type="http://www.w3.org/TR/scxml/#SCXMLEventProcessor" event="s0Event"/> </onentry> <transition event="s0Event" target="s1"> |