blob: 9a5d74ed5d6ef14ded88a629b97d1f19d4ba8514 (
plain)
1
2
3
4
5
|
<?xml version="1.0" encoding="UTF-8"?>
<!-- when invoked, terminate returning done.invoke. This proves that the invocation succeeded. -->
<scxml xmlns="http://www.w3.org/2005/07/scxml" xmlns:conf="http://www.w3.org/2005/scxml-conformance" initial="final" version="1.0" datamodel="promela">
<final id="final"/>
</scxml>
|