aboutsummaryrefslogtreecommitdiffstats
path: root/tests/fsm/run-test.sh
Commit message (Collapse)AuthorAgeFilesLines
* Add optional SEED=n command line option to Makefile, and -S n command line ↵Eric Smith2016-09-221-1/+13
| | | | option to test scripts, for deterministic regression tests.
* Switched to Python 3Clifford Wolf2015-08-221-1/+1
|
* Cosmetic changes to FSM testsClifford Wolf2014-08-211-1/+1
|
* Some improvements in fsm_opt and fsm_map for FSM with unreachable statesClifford Wolf2014-08-091-1/+2
|
* Improved FSM testsClifford Wolf2014-08-081-0/+1
|
* Added FSM test benchClifford Wolf2014-08-081-0/+30