diff options
| author | Stefan Radomski <sradomski@mintwerk.de> | 2016-02-08 20:51:15 (GMT) |
|---|---|---|
| committer | Stefan Radomski <sradomski@mintwerk.de> | 2016-02-08 20:51:15 (GMT) |
| commit | aba3f7d3560c93aab1b1482c840595e4928f38b5 (patch) | |
| tree | fb828eaa647ff9bebeca02c5986a4432cd135ac0 /README.md | |
| parent | 703a04d5f171e20db830f225064dd3ae968eb84e (diff) | |
| download | uscxml-aba3f7d3560c93aab1b1482c840595e4928f38b5.zip uscxml-aba3f7d3560c93aab1b1482c840595e4928f38b5.tar.gz uscxml-aba3f7d3560c93aab1b1482c840595e4928f38b5.tar.bz2 | |
Some polishing for generated ANSI C machines
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 20 |
1 files changed, 7 insertions, 13 deletions
@@ -79,7 +79,7 @@ for SCXML documents and currently implements the following features: ### Test Reports * We continuously run the [W3C IRP tests](http://www.w3.org/Voice/2013/scxml-irp/) for SCXML. -* The manual and XPath specific tests, are [excluded](https://github.com/tklab-tud/uscxml/blob/master/test/ctest/CTestCustom.ctest.in). +* Some tests are [excluded](https://github.com/tklab-tud/uscxml/blob/master/test/ctest/CTestCustom.ctest.in). To run the tests yourself, you need to generate the build environment and pass <tt>-DBUILD_TESTS=ON</tt> via CMake: @@ -88,18 +88,12 @@ To run the tests yourself, you need to generate the build environment and pass < Afterwards, you can run the various tests. There are more than 3500 tests in total, so maybe restrict yourself to some subset. -| Variant | Data Model | Results | Invoke as | -|---------------|------------|---------|------------------------------------------| -| Plain IRP | ECMAScript | 196/196 | <tt>$ ctest -L "^ecma/test"</tt> | -| | XPath | 107/211 | <tt>$ ctest -L "^xpath/test"</tt> | -| | PROMELA | 147/165 | <tt>$ ctest -L "^promela/test"</tt> | -| | Lua | 165/201 | <tt>$ ctest -L "^lua/test"</tt> | -| Flattened IRP | ECMAScript | 196/196 | <tt>$ ctest -L "^fsm/ecma/test"</tt> | -| | 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 | 180/180 | <tt>$ ctest -L "^gen/c/ecma/test"</tt> | -| Verification | PROMELA | 130/181 | <tt>$ ctest -L "^spin/promela/test"</tt> | +| | ECMAScript | XPath | PROMELA | Lua | Invoke as | +|---------------|------------------|------------------|------------------|------------------|------------------| +| Plain IRP | <tt>196/196</tt> | <tt>107/211</tt> | <tt>147/181</tt> | <tt>165/201</tt> | <tt>$ ctest -L "^[datamodel]/test"</tt> | +| Flattened IRP | <tt>196/196</tt> | <tt>107/211</tt> | <tt>147/181</tt> | <tt>165/201</tt> | <tt>$ ctest -L "^fsm/[datamodel]/test"</tt> | +| Generated C | <tt>180/196</tt> | <tt>73/211</tt> | <tt>144/181</tt> | <tt>143/201</tt> | <tt>$ ctest -L "^gen/c/[datamodel]/test"</tt> +| Verification | | | <tt>130/181</tt> | | <tt>$ ctest -L "^spin/promela/test"</tt> ### License |