Joeri Exelmans 4311d638af Rename some things hace 5 años
..
pssm 3b1dc3aea2 A <slot> element in a test contains set of output events of a nonempty big step. hace 5 años
scxml 3b1dc3aea2 A <slot> element in a test contains set of output events of a nonempty big step. hace 5 años
semantics 3b1dc3aea2 A <slot> element in a test contains set of output events of a nonempty big step. hace 5 años
Makefile 1fea8fbf0d Shorter folder names. Got rid of outdated CSharp stuff. hace 5 años
README.md 76058129c1 Update python test framework a bit. hace 5 años
run_tests.html 5f74db0d0f added disassociate event hace 8 años
test.py 4311d638af Rename some things hace 5 años
test_framework.js d6814173f2 restructure hace 9 años

README.md

The Python file 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.

Example

To run the "semantics" tests:

python test.py semantics