Major Refactoring v2.0

1 files changed, 0 insertions, 69 deletions

diff --git a/test/w3c/promela/test234.scxml b/test/w3c/promela/test234.scxml
deleted file mode 100644
index 2e79a98..0000000
--- a/test/w3c/promela/test234.scxml
+++ /dev/null
@@ -1,69 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<!-- test that only finalize markup in the invoking state runs.  the first invoked process will
-return 2 in _event.data.aParam, while second invoked process sleeps without returning any events. 
-Only the first finalize should execute.  So when we get to s1 var1 should have value 2 but 
-var2 should still be set to 1  -->
-<scxml xmlns="http://www.w3.org/2005/07/scxml" xmlns:conf="http://www.w3.org/2005/scxml-conformance" initial="p0" version="1.0" datamodel="promela">
-  <datamodel>
-    <data id="Var1" type="int" expr="1"/>
-    <data id="Var2" type="int" expr="1"/>
-  </datamodel>
-  <parallel id="p0">
-    <onentry>
-      <send xmlns:scxml="http://www.w3.org/2005/07/scxml" delay="3000" event="timeout"/>
-    </onentry>
-    <transition event="timeout" target="fail"/>
-    <state id="p01">
-      <invoke type="http://www.w3.org/TR/scxml/">
-        <content>
-          <scxml version="1.0" initial="subFinal1" datamodel="promela">
-            <final id="subFinal1">
-              <onentry>
-                <send target="#_parent" event="childToParent">
-                  <param name="aParam" expr="2"/>
-                </send>
-              </onentry>
-            </final>
-          </scxml>
-        </content>
-        <finalize>
-          <assign location="Var1" expr="_event.data.aParam"/>
-        </finalize>
-      </invoke>
-      <transition event="childToParent" cond="Var1==2" target="s1"/>
-      <transition event="childToParent" target="fail"/>
-    </state>
-    <state id="p02">
-      <invoke type="http://www.w3.org/TR/scxml/">
-        <content>
-          <scxml version="1.0" initial="sub0" datamodel="promela">
-            <state id="sub0">
-              <onentry>
-                <send xmlns:scxml="http://www.w3.org/2005/07/scxml" delay="2000" event="timeout"/>
-              </onentry>
-              <transition event="timeout" target="subFinal2"/>
-            </state>
-            <final id="subFinal2"/>
-          </scxml>
-        </content>
-        <finalize>
-          <assign location="Var2" expr="_event.data.aParam"/>
-        </finalize>
-      </invoke>
-    </state>
-  </parallel>
-  <state id="s1">
-    <transition cond="Var2==1" target="pass"/>
-    <transition target="fail"/>
-  </state>
-  <final xmlns:scxml="http://www.w3.org/2005/07/scxml" id="pass">
-    <onentry>
-      <log label="Outcome" expr="'pass'"/>
-    </onentry>
-  </final>
-  <final xmlns:scxml="http://www.w3.org/2005/07/scxml" id="fail">
-    <onentry>
-      <log label="Outcome" expr="'fail'"/>
-    </onentry>
-  </final>
-</scxml>