DO NOT MERGE: test compilation with rebased predator

staticafi · Dec 18, 2022 · 033d398 · 033d398
1 parent 07c350a
commit 033d398
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/system-build.sh b/system-build.sh
@@ -61,7 +61,7 @@ OPTS=
 ARCHIVE="no"
 FULL_ARCHIVE="no"
 BUILD_KLEE="yes"
-BUILD_PREDATOR="no"
+BUILD_PREDATOR="yes"
 BUILD_LLVM2C='yes'
 LLVM_CONFIG=
 
@@ -401,7 +401,7 @@ if [  -d predator-${LLVM_VERSION} ]; then
 fi
 if [ $FROM -le 6 -a "$BUILD_PREDATOR" = "yes" ]; then
 	if [ ! -d predator-${LLVM_VERSION} ]; then
-               git_clone_or_pull "https://github.com/staticafi/predator" -b svcomp21-v1 predator-${LLVM_VERSION}
+               git_clone_or_pull "https://github.com/lzaoral/predator" -b upstream-rebase predator-${LLVM_VERSION}
 	fi
 
 	pushd predator-${LLVM_VERSION}