Joeri Exelmans
308cd610ad
Implemented 'Syntactic' big step maximality option (not yet fully tested)
|
5 vuotta sitten | |
|---|---|---|
| .. | ||
| legacy_test_files | 5 vuotta sitten | |
| lib | 5 vuotta sitten | |
| test_files | 5 vuotta sitten | |
| wontfix | 5 vuotta sitten | |
| README.md | 5 vuotta sitten | |
| legacy_render.py | 5 vuotta sitten | |
| legacy_test.py | 5 vuotta sitten | |
| render.py | 5 vuotta sitten | |
| test.py | 5 vuotta sitten | |
README.md
test.py
The Python program test.py replaces the old run_tests.py. It takes test input files (in SCCD XML format) as parameter. It compiles tests and runs them.
For example, to run the "semantics" tests:
python3 test.py test_files/semantics
This will create a 'build' directory with compiled statechart models. It is always safe to remove this directory, it merely serves as a 'cache' for build artifacts.
render.py
The Python program render.py renders the test file state machines as SVG images. Rendered SVG files are already checked in to this repository. If you wish to re-render them, you need the NPM (NodeJS) package state-machine-cat. Install NodeJS and NPM, and then install the NPM package 'state-machine-cat':
npm i -g state-machine-cat
Now, e.g. render the "semantics" tests:
python3 render.py test_files/semantics
By default, the SVG files are stored next to the test XML files.