4 commits

Author	SHA1	Message	Date
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
Emily Schmidt	5a476a8d29	functional tests: run from make tests but not smtlib/rkt tests	2024-09-04 10:30:08 +01:00
Emily Schmidt	6922633b0b	fix a few bugs in the functional backend and refactor the testing	2024-08-21 11:03:29 +01:00
Emily Schmidt	674e6d201d	rewrite functional backend test code in python	2024-08-21 11:03:29 +01:00