Major refactoring

- Moved tests
- Changes to promela datamodel
- Implemented Trie

1 files changed, 0 insertions, 36 deletions

diff --git a/test/samples/w3c/txml/test409.txml b/test/samples/w3c/txml/test409.txml
deleted file mode 100644
index abc92ee..0000000
--- a/test/samples/w3c/txml/test409.txml
+++ /dev/null
@@ -1,36 +0,0 @@
-<?xml version="1.0"?>
-<!-- we test that states are removed from the active states list as they are exited.  When s01's onexit handler
-fires, s011 should not be on the active state list, so in(S011) should be false, and event1 should not
-be raised.  Therefore the timeout should fire to indicate success   -->
-
-
-<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" initial="s01">
-  <onentry>
-    <send event="timeout" delay="1s"/>
-    </onentry>
-  
-  <transition event="timeout" conf:targetpass=""/> 
-  <transition event="event1" conf:targetfail=""/>
-  
-  <state id="s01" initial="s011">
-    <onexit>
-     <if conf:inState="s011">
-       <raise event="event1"/>
-       </if>
-       </onexit>
-       
-    <state id="s011">
-      <transition target="s02"/>
-      </state>
-  </state> <!-- end s01 -->
-
-<state id="s02"/>
-
-</state> <!-- end s0 -->
- 
-<conf:pass/>
-<conf:fail/>
-</scxml>
\ No newline at end of file