<?xml version="1.0" ?>
<test>
  <statechart>
    <datamodel>
      x = 42;
    </datamodel>

    <inport name="in">
      <event name="start"/>
    </inport>

    <outport name="out">
      <event name="done"/>
    </outport>

    <root initial="start">
      <state id="start">
        <transition target="/done" cond="x == 42">
          <raise event="done"/>
        </transition>
      </state>

      <state id="done"/>
    </root>
  </statechart>

  <input>
    <event name="start" port="in" time="0 d"/>
  </input>

  <output>
    <big_step>
      <event name="done" port="out"/>
    </big_step>
  </output>
</test>