test/w3c/promela/test239sub1.scxml


1
2
3
4
5

<?xml version="1.0" encoding="UTF-8"?>
<!-- when invoked, just terminate.  -->
<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>