6 commits

Author	SHA1	Message	Date
Eric Smith	f4240cc8a4	Add optional SEED=n command line option to Makefile, and -S n command line option to test scripts, for deterministic regression tests.	2016-09-22 11:49:29 -06:00
Clifford Wolf	c475deec6c	Switched to Python 3	2015-08-22 09:59:33 +02:00
Clifford Wolf	c2df5b9175	Cosmetic changes to FSM tests	2014-08-21 17:40:49 +02:00
Clifford Wolf	2faef89738	Some improvements in fsm_opt and fsm_map for FSM with unreachable states	2014-08-09 14:49:51 +02:00
Clifford Wolf	51aa5544fb	Improved FSM tests	2014-08-08 15:08:11 +02:00
Clifford Wolf	c07774b0b6	Added FSM test bench	2014-08-08 13:12:18 +02:00