aboutsummaryrefslogtreecommitdiffstats
path: root/tests/fsm
Commit message (Collapse)AuthorAgeFilesLines
* tests: fsm to use a randomly-generated seedEddie Hung2020-04-241-3/+5
|
* Speed up "make test" and related cleanupsClifford Wolf2019-08-171-1/+1
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Add optional SEED=n command line option to Makefile, and -S n command line ↵Eric Smith2016-09-222-2/+24
| | | | option to test scripts, for deterministic regression tests.
* Switched to Python 3Clifford Wolf2015-08-222-5/+2
|
* Fixed trailing whitespacesClifford Wolf2015-07-021-1/+1
|
* changed file() to open() in python scriptsClifford Wolf2015-05-111-2/+2
|
* fix for python 2.6.6Clifford Wolf2015-03-201-72/+74
|
* Cosmetic changes to FSM testsClifford Wolf2014-08-211-1/+1
|
* Some improvements in FSM mapping and recodingClifford Wolf2014-08-141-1/+2
|
* Added test_verific mode to tests/fsm/generate.pyClifford Wolf2014-08-121-7/+17
|
* Fixed FSM mapping for multiple reset-like signalsClifford Wolf2014-08-101-7/+22
|
* Some improvements in fsm_opt and fsm_map for FSM with unreachable statesClifford Wolf2014-08-091-1/+2
|
* Improved FSM testsClifford Wolf2014-08-083-2/+4
|
* Added FSM test benchClifford Wolf2014-08-082-0/+113