SCCD/test/test_files/features/datamodel/test_guard_action.xml

<?xml version="1.0" ?>
<test>
  <statechart>
    <semantics
      big_step_maximality="take_many"/>
    <datamodel>
      x = 0;
    </datamodel>
    <root initial="counting">
      <state id="counting">
        <transition event="e" port="in" target="."/>
        <transition cond="x &lt; 3" target=".">
          <code> x += 1; </code>
          <raise event="inc" port="out"/>
        </transition>
        <transition cond="x == 3" target="../done"/>
      </state>
      <state id="done">
        <onentry><raise event="done" port="out"/></onentry>
      </state>
    </root>
  </statechart>
  <input>
    <event name="e" port="in" time="0 d"/>
  </input>
  <output>
    <big_step>
      <event name="inc" port="out"/>
      <event name="inc" port="out"/>
      <event name="inc" port="out"/>

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