Inicio Explorar Axuda
Iniciar sesión
jexelmans
/
sccd
Seguir 1
Destacar 0
Fork 0
Ficheiros Incidencias 0 Pull Requests 0 Wiki
Árbore: 308cd610ad
Ramas Etiquetas
sccd
/
test
Joeri Exelmans 308cd610ad Implemented 'Syntactic' big step maximality option (not yet fully tested) %!s(int64=5) %!d(string=hai) anos
..
legacy_test_files 650cb9334c Overhaul of directory structure. %!s(int64=5) %!d(string=hai) anos
lib 33cf1867c5 Extend semantic option wildcard mechanism to comma-separated lists of options. Parse transition event attribute as comma-separated list of (possibly negated) events with parameters. Event parameters added to transition scope. Input port ignored when generating ID for input/internal event (need this for Day & Atlee's examples) %!s(int64=5) %!d(string=hai) anos
test_files 308cd610ad Implemented 'Syntactic' big step maximality option (not yet fully tested) %!s(int64=5) %!d(string=hai) anos
wontfix f600f56401 Updated 'render' script + checked in reasonably looking rendered statechart images %!s(int64=5) %!d(string=hai) anos
README.md 549c81a8a8 Simplified things %!s(int64=5) %!d(string=hai) anos
legacy_render.py 650cb9334c Overhaul of directory structure. %!s(int64=5) %!d(string=hai) anos
legacy_test.py 650cb9334c Overhaul of directory structure. %!s(int64=5) %!d(string=hai) anos
render.py 308cd610ad Implemented 'Syntactic' big step maximality option (not yet fully tested) %!s(int64=5) %!d(string=hai) anos
test.py 80d532b9a3 Simpler handling of tests expected to fail. Added race condition test. %!s(int64=5) %!d(string=hai) anos

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.