forked from Github_Repos/cvw
.. | ||
README.md | ||
run.sh | ||
testgen-CAUSE.py | ||
testgen-IE.py | ||
testgen-RET.py |
Privileged Test Generators
Create a test generator in this folder with the name testgen-NAME.py. Then, to generate and compile these tests, use
sh run.sh NAME
For example, for testgen-CAUSE.py
, we would run sh run.sh CAUSE
.
Provide -sim as the second argument to simulate the compiled tests using wally.
sh run.sh NAME -sim