summaryrefslogtreecommitdiffstats
path: root/test/uscxml/promela/test-ltl.scxml
Commit message (Expand)AuthorAgeFilesLines
* More work on PROMELA transformationStefan Radomski2014-11-121-2/+2
* More output when transformingStefan Radomski2014-10-211-0/+16