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

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