SCCD/test/new_test_files/features/after/test_after_reentry.xml

<?xml version="1.0" ?>
<test>
  <statechart>
    <semantics
        big_step_maximality="take_many"
        combo_step_maximality="combo_take_one"/>
    <tree>
      <state>
        <parallel id="p">
          <state id="o0" initial="a">
            <state id="a">
              <transition after="100" cond='INSTATE(["/p/o1/x"])' target="../b"/>
              <transition after="150" target="../c"/>
            </state>
            <state id="b">
              <onentry>
                <raise event="in_b" port="out"/>
              </onentry>
              <transition target="../a"/>
            </state>
            <state id="c">
              <onentry>
                <raise event="in_c" port="out"/>
              </onentry>
            </state>
          </state>
          <state id="o1" initial="x">
            <state id="x">
              <transition after="250" target="../y"/>
            </state>
            <state id="y"/>
          </state>
        </parallel>
      </state>
    </tree>
  </statechart>
  <output>
    <big_step>
      <event name="in_b" port="out"/>
    </big_step>
    <big_step>
      <event name="in_b" port="out"/>
    </big_step>
    <big_step>
      <event name="in_c" port="out"/>
    </big_step>
  </output>
</test>