Revision control
++ <?xml version="1.0" encoding="UTF-8"?><!-- we test 'optimally enabled set', specifically that preemption works correctly --><scxml xmlns="http://www.w3.org/2005/07/scxml" xmlns:conf="http://www.w3.org/2005/scxml-conformance" initial="s0" version="1.0" datamodel="ecmascript">
++ <datamodel>
++ <data id="Var1" expr="0"/>
++ </datamodel>
++
++ <state id="s0" initial="p0">
++ <onentry>
++ <raise event="event1"/>
++ <send event="timeout" delay="1s"/>
++ </onentry>
++ <transition event="event2" target="fail"/>
++ <transition event="timeout" target="fail"/>
++
++ <parallel id="p0">
++
++ <state id="p0s1">
++ <transition event="event1"/>
++ <transition event="event2"/>
++ </state>
++
++ <state id="p0s2">
++ <transition event="event1" target="p0s1">
++ <raise event="event2"/>
++ </transition>
++
++ </state>
++
++ <state id="p0s3">
++ <!-- this transition should be blocked by the one in p0s2-->
++ <transition event="event1" target="fail"/>
++ <!-- this transition will preempt the one that p0s2 inherits
++ from an ancestor -->
++ <transition event="event2" target="s1"/>
++
++ </state>
++
++ <state id="p0s4">
++ <!-- this transition never gets preempted, should fire twice -->
++ <transition event="*">
++ <assign location="Var1" expr="Var1 + 1"/>
++ </transition>
++ </state>
++
++ </parallel>
++ </state>
++
++ <state id="s1">
++ <transition cond="Var1==2" target="pass"/>
++ <transition target="fail"/>
++ </state>
++
++ <final id="pass"><onentry><log label="Outcome" expr="'pass'"/></onentry></final>
++ <final id="fail"><onentry><log label="Outcome" expr="'fail'"/></onentry></final>
++ </scxml>