test_explicit_flat.xml 376 B

123456789101112131415161718
  1. <test>
  2. <statechart src="statechart_flat.xml">
  3. <override_semantics
  4. hierarchical_priority="none"
  5. same_source_priority="explicit"
  6. orthogonal_priority="none"/>
  7. </statechart>
  8. <input>
  9. <event port="in" name="start" time="0 d"/>
  10. </input>
  11. <output>
  12. <big_step>
  13. <event port="out" name="in_B" time="0 d"/>
  14. </big_step>
  15. </output>
  16. </test>