From 5a0198ecd2bdf85b377724345deb35182c6525aa Mon Sep 17 00:00:00 2001
From: Michele Alberti <michele.alberti@cea.fr>
Date: Mon, 12 Jun 2023 15:03:34 +0200
Subject: [PATCH] [bin] Fix alpha-beta-CROWN autodetect: use complete_verifier
as root instead.
---
bin/abcrown.sh | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/bin/abcrown.sh b/bin/abcrown.sh
index 49e54fa..32033f3 100755
--- a/bin/abcrown.sh
+++ b/bin/abcrown.sh
@@ -23,7 +23,7 @@
if [ "$1" = "--version" ]; then
SCRIPT_DIR=$( dirname -- "$0"; )
- $SCRIPT_DIR/dummyversion.py "complete_verifier.abcrown"
+ $SCRIPT_DIR/dummyversion.py "abcrown"
else
- OMP_NUM_THREADS=1 python3 -m complete_verifier.abcrown "$@"
+ OMP_NUM_THREADS=1 python3 -m abcrown "$@"
fi
--
GitLab