sccd/test/test_files/features/after/test_after_reentry.xml

<?xml version="1.0" ?>
<test>
  <statechart>
    <semantics
        big_step_maximality="take_many"
        combo_step_maximality="take_one"/>

    <outport name="out">
      <event name="in_b"/>
      <event name="in_c"/>
    </outport>

    <root>
      <parallel id="p">
        <state id="o0" initial="a">
          <state id="a">
            <transition after="100 ms" cond='INSTATE(["/p/o1/x"])' target="../b"/>
            <transition after="150 ms" target="../c"/>
          </state>
          <state id="b">
            <onentry>
              <raise event="in_b"/>
            </onentry>
            <transition target="../a"/>
          </state>
          <state id="c">
            <onentry>
              <raise event="in_c"/>
            </onentry>
          </state>
        </state>
        <state id="o1" initial="x">
          <state id="x">
            <transition after="250 ms" target="../y"/>
          </state>
          <state id="y"/>
        </state>
      </parallel>
    </root>
  </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>