sccd/test_files/semantics/memory_protocol/test_gcbig.xml

<?xml version="1.0" ?>
<test>
  <statechart src="statechart_enabledness.xml">
    <override_semantics
      big_step_maximality="take_one"
      enabledness_memory_protocol="big_step"
      assignment_memory_protocol="big_step"/>
  </statechart>

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

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