YosysHQ.yosys/tests/functional/run-test.sh at 1cdf058df476d413bbdd486541a9cd1da426dbbd - YosysHQ.yosys - Berget Git Service

github.com/YosysHQ.yosys

mirror of synced 2026-02-25 16:41:06 +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

60 B

Executable File

Raw Blame History

View Raw