Fixed another test hanging

diffblue · Dec 21, 2023 · 8db0524 · 8db0524
1 parent 6f1481c
commit 8db0524
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/regression/cbmc/String_Abstraction21/test.desc b/regression/cbmc/String_Abstraction21/test.desc
@@ -1,6 +1,6 @@
 CORE
 strcpy2.c
---no-malloc-may-fail --string-abstraction
+--no-malloc-may-fail --string-abstraction --no-standard-checks
 ^EXIT=0$
 ^SIGNAL=0$
 ^VERIFICATION SUCCESSFUL$