SCCD/test/new_test_files/event_lifeline/flat_nextss_takemany.test.xml

<?xml version="1.0" ?>
<test>
  <statechart src="../models/flat_intevent.statechart.xml">
    <override_semantics
      big_step_maximality="take_many"
      internal_event_lifeline="next_small_step"/>
  </statechart>
  <output>
    <big_step>
      <event name="in_b" port="out"/>
      <event name="in_c" port="out"/>
    </big_step>
  </output>
</test>