test/uscxml/promela/test-ltl.scxml


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

<scxml datamodel="promela">
  <!--
		#promela-event-source:
			toggle.foo
	-->
	<datamodel>
		<data id="foo" expr="0" type="bit" />
	</datamodel>
	<parallel id="main">
		<state id="toggleFoo">
			<transition event="toggle.foo">
				<script>foo = !foo;</script>
			</transition>
		</state>
	</parallel>
</scxml>