diff options
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 |