Skip to content

testing/abc: new aport

Marian Buschsieweke requested to merge maribu/aports:testing/abc into master

https://github.com/berkeley-abc/abc System for Sequential Logic Synthesis and Formal Verification

Also add abc as dependcy for yosys to fix:

2.23.17.5. Executing ABC9.
Running ABC command: "abc" -s -f <abc-temp-dir>/abc.script 2>&1
ABC: sh: abc: not found
ERROR: ABC: execution of command ""abc" -s -f /tmp/yosys-abc-opgndO/abc.script 2>&1" failed: return code 127.

Merge request reports