blob: 4738a866f336a31f73c7f61fa1f6431692dc116c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
<scxml datamodel="promela">
<datamodel>
<data>
bit v1, v2, v3, v4, v5;
</data>
</datamodel>
<state id="init">
<onentry>
<script>
v2=1; v3=1;
</script>
</onentry>
<transition target="pass" cond="v2==(v3==v4)">
</transition>
<transition target="fail" />
</state>
<final id="pass">
<onentry>
<log label="Outcome" expr="'pass'"/>
</onentry>
</final>
<final id="fail">
<onentry>
<log label="Outcome" expr="'fail'"/>
</onentry>
</final>
</scxml>
|