Add --no-standard-checks to regression/acceleration test runner script

diffblue · Dec 8, 2023 · dfa3527 · dfa3527
1 parent 9244e13
commit dfa3527
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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)