Begin writing test files in new format (runtime and test framework don't support it yet).

test/new_test_files/sequence.statechart.xml

@@ -0,0 +1,23 @@
+<?xml version="1.0" ?>
+<statechart>
+  <semantics/>
+  <datamodel/>
+  <tree>
+    <state initial="a">
+      <state id="a">
+        <transition target="/b"/>
+      </state>
+      <state id="b">
+        <onentry>
+          <raise event="in_b" port="out"/>
+        </onentry>
+        <transition target="/c"/>
+      </state>
+      <state id="c">
+        <onentry>
+          <raise event="in_c" port="out"/>
+        </onentry>
+      </state>
+    </state>
+  </tree>
+</statechart>

test/new_test_files/take_many.test.xml

@@ -0,0 +1,15 @@
+<?xml version="1.0" ?>
+<test>
+  <statechart src="sequence.statechart.xml">
+    <override-semantics
+      big_step_maximality="take_many"/>
+  </statechart>
+  <scheduler stabilize="false"/>
+  <input/>
+  <output>
+    <big_step>
+      <event name="in_b" port="out"/>
+      <event name="in_c" port="out"/>
+    </big_step>
+  </output>
+</test>

test/new_test_files/take_one.test.xml

@@ -0,0 +1,14 @@
+<?xml version="1.0" ?>
+<test>
+  <statechart src="sequence.statechart.xml">
+    <override-semantics
+      big_step_maximality="take_one"/>
+  </statechart>
+  <scheduler stabilize="false"/>
+  <input/>
+  <output>
+    <big_step>
+      <event name="in_b" port="out"/>
+    </big_step>
+  </output>
+</test>