3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-08-10 05:00:52 +00:00

Merge pull request #5068 from YosysHQ/krys/bugpoint_fixes

Updates to bugpoint
This commit is contained in:
KrystalDelusion 2025-07-30 10:05:22 +12:00 committed by GitHub
commit a18acaca82
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
13 changed files with 495 additions and 16 deletions

View file

@ -868,6 +868,7 @@ MK_TEST_DIRS += tests/arch/nexus
MK_TEST_DIRS += tests/arch/quicklogic/pp3
MK_TEST_DIRS += tests/arch/quicklogic/qlf_k6n10f
MK_TEST_DIRS += tests/arch/xilinx
MK_TEST_DIRS += tests/bugpoint
MK_TEST_DIRS += tests/opt
MK_TEST_DIRS += tests/sat
MK_TEST_DIRS += tests/sim