From dfa3527d0e169197c21b952b6b46acf2c81b3d37 Mon Sep 17 00:00:00 2001 From: Fotis Koutoulakis Date: Fri, 8 Dec 2023 11:04:50 +0000 Subject: [PATCH] Add --no-standard-checks to regression/acceleration test runner script --- regression/acceleration/accelerate.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/regression/acceleration/accelerate.sh b/regression/acceleration/accelerate.sh index c8598419ef0..7b1f17cf908 100755 --- a/regression/acceleration/accelerate.sh +++ b/regression/acceleration/accelerate.sh @@ -16,7 +16,7 @@ is_windows=$4 shift 4 cfile="" -cbmcargs="" +cbmcargs="--no-standard-checks" # create the temporary directory relative to the current directory, thus # avoiding file names that start with a "/", which confuses goto-cl (Windows)