1 files changed, 66 insertions, 0 deletions
diff --git a/test/w3c/txml/test533.txml b/test/w3c/txml/test533.txml
new file mode 100644
index 0000000..7a6c82a
--- /dev/null
+++ b/test/w3c/txml/test533.txml
@@ -0,0 +1,66 @@
+<?xml version="1.0"?>
+
+<!-- test that an internal transition whose source state is not compound does  exit its source state -->
+
+<scxml  initial="s1" version="1.0" conf:datamodel=""  xmlns="http://www.w3.org/2005/07/scxml" xmlns:conf="http://www.w3.org/2005/scxml-conformance">
+<datamodel>
+  <data conf:id="1" conf:expr="0"/>  <!-- how often we have exited p -->
+  <data conf:id="2" conf:expr="0"/>  <!-- how often we have exited ps1 -->
+  <data conf:id="3" conf:expr="0"/>  <!-- how often we have exited ps2 -->
+  <data conf:id="4" conf:expr="0"/>  <!-- how often the transition for foo has been taken -->
+  </datamodel>
+    
+ <state id="s1">
+   <onentry>
+    <raise event="foo"/>
+    <raise event="bar"/>
+    </onentry>
+   <transition target="p"/>
+   </state>
+
+<parallel id="p">
+  <onexit>
+    <conf:incrementID id="1"/>
+    </onexit>
+  <transition event="foo" type="internal" target="ps1">
+     <conf:incrementID id="4"/>
+     </transition>
+     
+   <!-- make sure the transition on foo was actually taken --> 
+  <transition event="bar" conf:idVal="4=1" target="s2"/>
+  <transition event="bar" conf:targetfail=""/>
+  
+ <state id="ps1">
+   <onexit>
+   <conf:incrementID id="2"/>
+   </onexit>
+  </state>
+  <state id="ps2">
+   <onexit>
+   <conf:incrementID id="3"/>
+   </onexit>
+  </state>
+</parallel>
+  
+<state id="s2">
+  <!-- make sure that p was exited twice -->
+    <transition conf:idVal="1=2" target="s3"/>
+    <transition conf:targetfail=""/>
+ </state> 
+ 
+<state id="s3">
+  <!-- make sure that ps1 was exited twice -->
+    <transition conf:idVal="2=2" target="s4"/>
+    <transition conf:targetfail=""/>
+ </state> 
+  
+<state id="s4">
+  <!-- make sure that ps2 was exited twice -->
+    <transition conf:idVal="3=2" conf:targetpass=""/>
+    <transition conf:targetfail=""/>
+ </state>
+  
+<conf:pass/>
+<conf:fail/>
+     
+</scxml>
+\ No newline at end of file