aboutsummaryrefslogtreecommitdiffstats
path: root/tests/fsm/generate.py
Commit message (Collapse)AuthorAgeFilesLines
* tests: fsm to use a randomly-generated seedEddie Hung2020-04-241-3/+5
|
* Add optional SEED=n command line option to Makefile, and -S n command line ↵Eric Smith2016-09-221-1/+11
| | | | option to test scripts, for deterministic regression tests.
* Switched to Python 3Clifford Wolf2015-08-221-4/+1
|
* 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
|
* 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
|
* Improved FSM testsClifford Wolf2014-08-081-2/+2
|
* Added FSM test benchClifford Wolf2014-08-081-0/+83