summaryrefslogtreecommitdiff
path: root/tests/aiger/run-test.sh
diff options
context:
space:
mode:
Diffstat (limited to 'tests/aiger/run-test.sh')
-rwxr-xr-xtests/aiger/run-test.sh2
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