Major refactoring

- Moved tests
- Changes to promela datamodel
- Implemented Trie

1 files changed, 0 insertions, 36 deletions

diff --git a/test/samples/w3c/txml/test187.txml b/test/samples/w3c/txml/test187.txml
deleted file mode 100644
index 994a489..0000000
--- a/test/samples/w3c/txml/test187.txml
+++ /dev/null
@@ -1,36 +0,0 @@
-<?xml version="1.0"?>
-<!-- we test that delayed <send> is not sent if the sending session terminates.  In this case,
-a subscript is invoked which sends the event childToParent delayed by 1 second, and then terminates.  The
-parent session, should not receive childToParent. If it does, we fail.  Otherwise the 
-10 sec timer expires and we pass -->
-
-<scxml initial="s0" version="1.0" conf:datamodel=""  xmlns="http://www.w3.org/2005/07/scxml" xmlns:conf="http://www.w3.org/2005/scxml-conformance">
-
-  
-<state id="s0" >
-    <onentry>
-      <send event="timeout" delay="10s"/>
-      </onentry>
-    <invoke type="scxml" >
-    <content>
-      <!-- exit before the delayed send can execute -->
-         <scxml initial="sub0" version="1.0" conf:datamodel=""  xmlns="http://www.w3.org/2005/07/scxml" xmlns:conf="http://www.w3.org/2005/scxml-conformance">
-           <state id="sub0">
-              <onentry>
-                <send event="childToParent" target="#_parent" delay="1s"/>
-            </onentry>
-          <transition  target="subFinal"/>
-          </state>
-      <final id="subFinal"/>
-    </scxml>
-    </content>
-   </invoke>
-   
-    <transition event="childToParent" conf:targetfail=""/>
-    <transition event="timeout" conf:targetpass=""/>
-</state>
-
-   <conf:pass/>
-   <conf:fail/>
-
-</scxml>
\ No newline at end of file