diff options
author | Ruben Undheim <ruben.undheim@gmail.com> | 2019-10-18 20:49:35 +0000 |
---|---|---|
committer | Ruben Undheim <ruben.undheim@gmail.com> | 2019-10-20 11:01:06 +0200 |
commit | 76f882e8e92b8a44e7ba0fd85fa4649a6c37c8bb (patch) | |
tree | baa57f8abf8351f1611e59c87bf117790aabab0f /tests/aiger/run-test.sh | |
parent | 9d480edefa99f4493808b63a55a7e88ca53905f0 (diff) |
Set path to berkeley-abc instead of relative path to yosys-abcarchive/debian/0.9-1_bpo10+1
Gbp-Pq: Name 0014-Set-path-to-berkeley-abc-instead-of-relative-path-to.patch
Diffstat (limited to 'tests/aiger/run-test.sh')
-rwxr-xr-x | tests/aiger/run-test.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/aiger/run-test.sh b/tests/aiger/run-test.sh index deaf48a3..4fbffcdc 100755 --- a/tests/aiger/run-test.sh +++ b/tests/aiger/run-test.sh @@ -3,7 +3,7 @@ set -e OPTIND=1 -abcprog="../../yosys-abc" # default to built-in version of abc +abcprog="berkeley-abc" # default to built-in version of abc while getopts "A:" opt do case "$opt" in |