SCCD/test/test_files/syntax/fail_no_id.xml

<?xml version="1.0" ?>
<test>
  <statechart>
    <semantics/>
    <datamodel/>

    <tree>
      <state>
        <state><!-- non-root state must have 'id' -->
        </state>
      </state>
    </tree>
  </statechart>

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