Joeri Exelmans 40647fe803 Extend expressions test with comparisons and boolean logic. Use lazy evaluation. пре 5 година
..
lib 202a78d34a Move some files пре 5 година
new_test_files 40647fe803 Extend expressions test with comparisons and boolean logic. Use lazy evaluation. пре 5 година
test_files 01e569bf01 More flexible and beautiful implementation of big/combo/small step round hierarchy. пре 5 година
wontfix f600f56401 Updated 'render' script + checked in reasonably looking rendered statechart images пре 5 година
README.md 549c81a8a8 Simplified things пре 5 година
render.py bf63200ebc Fix render scripts. пре 5 година
render2.py 8b8fbba6b1 Parse tree-less parsing of expressions with Lark. Moved some stuff around. пре 5 година
test.py 8b8fbba6b1 Parse tree-less parsing of expressions with Lark. Moved some stuff around. пре 5 година
test2.py 8b8fbba6b1 Parse tree-less parsing of expressions with Lark. Moved some stuff around. пре 5 година

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.