test/uscxml/promela/test-non-progress.scxml


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

<!-- 
  Check for no-progress cycles

  $ uscxml-transform -s -i this_file.scxml > test.pml
  $ spin -a test.pml
  $ gcc -DNP pan.c
  $ ./a.out -l
-->
<scxml datamodel="promela">
  <state id="s0">
    <onentry>
      <raise event="foo" />
    </onentry>
    <transition event="foo" target="s0" />
  </state>
  <state id="s1" final="true" />
</scxml>