SCCD/test_files/day_atlee/test_04_counter_single.xml

<?xml version="1.0" ?>
<test>
  <statechart src="statechart_fig10_counter.xml">
    <!-- these semantic configuration is not discussed in Day & Atlee, but I added it for fun -->
    <override_semantics
      big_step_maximality="take_one"
      internal_event_lifeline="next_small_step"/>
  </statechart>

  <input>
    <!-- setup ... -->
    <event port="in" name="tk0" time="10 ms"/>
    <event port="in" name="tk0" time="20 ms"/>
    <event port="in" name="tk0" time="30 ms"/>
    <!-- we are now in Bit_12, Bit_22 and Counting -->
    <event port="in" name="tk0" time="40 ms"/>
  </input>

  <output>
    <!-- no output :( -->
  </output>
</test>