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

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