aboutsummaryrefslogtreecommitdiffstats
path: root/tests/fsm
Commit message (Expand)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
* Add optional SEED=n command line option to Makefile, and -S n command line op...Eric Smith2016-09-222-2/+24
* 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