Fixed cbmc test timing out

diffblue · Dec 20, 2023 · aeea845 · aeea845
1 parent 58f05d9
commit aeea845
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/regression/cbmc/String_Abstraction17/test.desc b/regression/cbmc/String_Abstraction17/test.desc
@@ -1,6 +1,6 @@
 CORE no-new-smt
 strcpy-no-decl.c
---string-abstraction --validate-goto-model
+ --no-standard-checks --string-abstraction --validate-goto-model
 ^EXIT=10$
 ^SIGNAL=0$
 --