8 commits

Author	SHA1	Message	Date
Robert O'Callahan	a871415abf	Limit YOSYS_MAX_THREADS to 4 when running seed-tests	2025-12-04 12:09:48 +01:00
Gus Smith	62e666c2ed	Make run-test work from anywhere	2025-11-29 16:08:42 -08:00
Gus Smith	e223087578	Undo more changes that slipped in from somewhere? a merge maybe?	2025-11-29 15:28:34 -08:00
Krystine Sherwin	108a4ed496	tests/functional: Reduce CI to 100 steps ... Takes approx half the time, at least when testing locally.	2025-07-07 10:45:51 +12:00
Krystine Sherwin	3c54d8aef7	tests/functional: Auto parallelize ... Use the unique cell name (cell type + parameters) for the vcd filename to avoid collisions when converting to fst.	2025-07-07 10:38:32 +12:00
Gus Smith	9faa61dfc6	Remove gate on smt and rkt tests ... as per https://github.com/YosysHQ/yosys/pull/5128#issuecomment-2896280647	2025-05-26 20:43:32 -07:00
Emily Schmidt	5a476a8d29	functional tests: run from make tests but not smtlib/rkt tests	2024-09-04 10:30:08 +01:00
Emily Schmidt	674e6d201d	rewrite functional backend test code in python	2024-08-21 11:03:29 +01:00