summaryrefslogtreecommitdiffstats
path: root/test/uscxml/promela
ModeNameSize
-rw-r--r--test-complete.scxml5136logstatsplain
-rw-r--r--test-event-source-auto.scxml1359logstatsplain
-rw-r--r--test-event-source.scxml943logstatsplain
-rw-r--r--test-history.scxml368logstatsplain
-rw-r--r--test-ltl.scxml310logstatsplain
-rw-r--r--test-non-progress.scxml349logstatsplain
-rw-r--r--test-progress-label.scxml383logstatsplain
-rw-r--r--test-simple.scxml309logstatsplain
-rw-r--r--test-syntax.scxml2800logstatsplain