SCCD/test/test_files/semantics/priority/test_arena_parent.xml

<?xml version="1.0" ?>
<test>
  <statechart src="statechart_priority_hierarchical.xml">
    <override_semantics
      big_step_maximality="take_one"
      priority="arena_parent"/>
  </statechart>
  <input>
      <event name="start" port="in" time="0 d"/>
  </input>
  <output>
    <big_step>
      <event name="arena_parent" port="out"/>
    </big_step>
  </output>
</test>