sccd/test/test_files/features/datamodel/test_cond.xml

<?xml version="1.0" ?>
<test>
  <statechart>
    <semantics/>
    <datamodel>
      <var id="x" expr="0"/>
      <var id="y" expr="x"/><!-- this is allowed, value of x copied to y -->
    </datamodel>
    <tree>
      <state initial="start">
        <state id="start">
          <transition event="e" port="in" target="/done" cond="y == 0">
            <raise event="done" port="out"/>
          </transition>
        </state>
        <state id="done"/>
      </state>
    </tree>
  </statechart>
  <input>
    <input_event name="e" port="in" time="0 d"/>
  </input>
  <output>
    <big_step>
      <event name="done" port="out"/>
    </big_step>
  </output>
</test>