YosysHQ.yosys/tests/functional/test_functional.py at aa01ef3312a709a90a797beca6eb4002abf7b8df - YosysHQ.yosys - Berget Git Service

github.com/YosysHQ.yosys

mirror of synced 2026-02-23 07:51:45 +00:00

Files

Emily Schmidt 5a476a8d29 functional tests: run from make tests but not smtlib/rkt tests

2024-09-04 10:30:08 +01:00

4.5 KiB

Raw Blame History

View Raw