diff options
| author | Stefan Radomski <sradomski@mintwerk.de> | 2016-02-04 22:54:49 (GMT) |
|---|---|---|
| committer | Stefan Radomski <sradomski@mintwerk.de> | 2016-02-04 22:54:49 (GMT) |
| commit | 9cf37e17d745a1f8533ea784a34562e67e6d7f2f (patch) | |
| tree | 7caeab0086076923c46ac8f6d977a7ebb1273597 /README.md | |
| parent | 7afc6a257e193986c9305364701085e65c4ccea5 (diff) | |
| download | uscxml-9cf37e17d745a1f8533ea784a34562e67e6d7f2f.zip uscxml-9cf37e17d745a1f8533ea784a34562e67e6d7f2f.tar.gz uscxml-9cf37e17d745a1f8533ea784a34562e67e6d7f2f.tar.bz2 | |
Invokers with generated C
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -69,7 +69,7 @@ for SCXML documents and currently implements the following features: * Resulting documents require slight adaptations to a compliant interpreter for donedata, the <tt>In</tt> predicate and invokers. * Semantic equivalence is shown via IRP tests. * [ANSI C native code](https://github.com/tklab-tud/uscxml/blob/master/src/uscxml/transform/ChartToC.cpp) for easy embedding of SCXML state-charts in C and C++ programs - * No invokers are implemented at the moment and only a single SCXML state-chart can be given in a given document. + * No custom I/O processors implemented in scaffolding just yet. * [PROMELA programs](https://github.com/tklab-tud/uscxml/blob/master/src/uscxml/transform/ChartToPromela.cpp) for model-checking via linear temporal logic with the SPIN model-checker. * Only defined for the <tt>promela</tt> and <tt>null</tt> datamodel. * [Minimized SCXML documents](https://github.com/tklab-tud/uscxml/blob/master/src/uscxml/transform/ChartToMinimalSCXML.cpp) with dead states and executable content removed @@ -98,7 +98,7 @@ so maybe restrict yourself to some subset. | | XPath | 107/211 | <tt>$ ctest -L "^fsm/xpath/test"</tt> | | | PROMELA | 147/165 | <tt>$ ctest -L "^fsm/promela/test"</tt> | | | Lua | 165/201 | <tt>$ ctest -L "^fsm/lua/test"</tt> | -| Generated C | ECMAScript | 140/140 | <tt>$ ctest -L "^gen/c/ecma/test"</tt> | +| Generated C | ECMAScript | 173/176 | <tt>$ ctest -L "^gen/c/ecma/test"</tt> | | Verification | PROMELA | 130/181 | <tt>$ ctest -L "^spin/promela/test"</tt> | |