|
|
@@ -0,0 +1,21 @@
|
|
|
+<?xml version="1.0" ?>
|
|
|
+<test>
|
|
|
+ <statechart src="statechart_fig8_counter.xml">
|
|
|
+ <override_semantics
|
|
|
+ big_step_maximality="take_one"
|
|
|
+ internal_event_lifeline="remainder"/>
|
|
|
+ </statechart>
|
|
|
+
|
|
|
+ <input>
|
|
|
+ <input_event port="in" name="tk0" time="0 d"/>
|
|
|
+ <input_event port="in" name="tk0" time="0 d"/>
|
|
|
+ <input_event port="in" name="tk0" time="0 d"/>
|
|
|
+ <input_event port="in" name="tk0" time="0 d"/>
|
|
|
+ </input>
|
|
|
+
|
|
|
+ <output>
|
|
|
+ <big_step>
|
|
|
+ <event port="out" name="done"/>
|
|
|
+ </big_step>
|
|
|
+ </output>
|
|
|
+</test>
|
