test_04_counter_single.xml 693 B

123456789101112131415161718192021222324
  1. <?xml version="1.0" ?>
  2. <test>
  3. <statechart src="statechart_fig10_counter.xml">
  4. <!-- these semantic configuration is not discussed in Day & Atlee, but I added it for fun -->
  5. <override_semantics
  6. big_step_maximality="take_one"
  7. internal_event_lifeline="next_small_step"/>
  8. </statechart>
  9. <input>
  10. <!-- setup ... -->
  11. <event port="in" name="tk0" time="10 ms"/>
  12. <event port="in" name="tk0" time="20 ms"/>
  13. <event port="in" name="tk0" time="30 ms"/>
  14. <!-- we are now in Bit_12, Bit_22 and Counting -->
  15. <event port="in" name="tk0" time="40 ms"/>
  16. </input>
  17. <output>
  18. <big_step>
  19. <event port="out" name="done"/>
  20. </big_step>
  21. </output>
  22. </test>