Joeri Exelmans 84e26cc27f Add example from Day & Atlee 5 سال پیش
..
legacy_test_files 650cb9334c Overhaul of directory structure. 5 سال پیش
lib 8ed7fc5ddb Fix memory protocol semantics (always write to 'clean' memory, read from 'snapshot' memory) 5 سال پیش
test_files 84e26cc27f Add example from Day & Atlee 5 سال پیش
wontfix f600f56401 Updated 'render' script + checked in reasonably looking rendered statechart images 5 سال پیش
README.md 549c81a8a8 Simplified things 5 سال پیش
legacy_render.py 650cb9334c Overhaul of directory structure. 5 سال پیش
legacy_test.py 650cb9334c Overhaul of directory structure. 5 سال پیش
render.py 0e4e6fdd0d Begin adding examples from Day & Atlee paper. Clearer error when <state> initial attribute is invalid. SVG renderer: workaround for order of orthogonal components. 5 سال پیش
test.py 80d532b9a3 Simpler handling of tests expected to fail. Added race condition test. 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.