diff --git a/regression/cbmc/String_Abstraction17/test.desc b/regression/cbmc/String_Abstraction17/test.desc
index ecc21f02dff2..f3f61d34873f 100644
--- 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$
 --