Major refactoring

- Moved tests
- Changes to promela datamodel
- Implemented Trie

1 files changed, 0 insertions, 101 deletions

diff --git a/test/samples/w3c/txml/test387.txml b/test/samples/w3c/txml/test387.txml
deleted file mode 100644
index 8997580..0000000
--- a/test/samples/w3c/txml/test387.txml
+++ /dev/null
@@ -1,101 +0,0 @@
-<?xml version="1.0"?>
-<!-- test that the default history state works correctly.  From initial state s3 we take a transition to s0's default
-shallow history state.  That should generate "enteringS011", which takes us to s4.  In s4, we
-transition to s1's default deep history state. We should end up in s122, generating "enteringS122".  Otherwise failure.-->
-
-
-<scxml  initial="s3" 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" initial="s01">
-
-  <transition event="enteringS011" target="s4"/>
-  <transition event="*" conf:targetfail=""/>
-  
-  <history type="shallow" id="s0HistShallow">
-    <transition target="s01"/>
-    </history>
-  <history type="deep" id="s0HistDeep">
-    <transition target="s022"/>
-    </history>
-  <state id="s01" initial="s011">
-    <state id="s011">
-       <onentry>
-         <raise event="enteringS011"/>
-         </onentry>
-    </state>
-    <state id="s012">
-      <onentry>
-       <raise event="enteringS012"/>
-        </onentry>
-    </state>
-  </state>
- <state id="s02" initial="s021">
-     <state id="s021">
-       <onentry>
-         <raise event="enteringS021"/>
-         </onentry>
-    </state>
-    <state id="s022">
-      <onentry>
-       <raise event="enteringS022"/>
-        </onentry>
-    </state>
-  </state>
- 
-</state>
-
-<state id="s1" initial="s11">
- 
-  <transition event="enteringS122" conf:targetpass=""/>
-  <transition event="*" conf:targetfail=""/>
-  
-  <history type="shallow" id="s1HistShallow">
-    <transition target="s11"/>
-    </history>
-  <history type="deep" id="s1HistDeep">
-    <transition target="s122"/>
-    </history>
-  <state id="s11" initial="s111">
-    <state id="s111">
-       <onentry>
-         <raise event="enteringS111"/>
-         </onentry>
-    </state>
-    <state id="s112">
-      <onentry>
-       <raise event="enteringS112"/>
-        </onentry>
-    </state>
-  </state>
- <state id="s12" initial="s121">
-     <state id="s121">
-       <onentry>
-         <raise event="enteringS121"/>
-         </onentry>
-    </state>
-    <state id="s122">
-      <onentry>
-       <raise event="enteringS122"/>
-        </onentry>
-    </state>
-  </state>
- 
-</state>
-
-
-<state id="s3">
-  <onentry>
-    <send event="timeout" delay="1s"/>
-   </onentry>
-  <transition  target="s0HistShallow"/>
-</state>
-
-<state id="s4">
-  <transition  target="s1HistDeep"/>
-</state>
- 
-<conf:pass/>
-<conf:fail/>
-
-</scxml>
\ No newline at end of file