From aeea84527fb0e5ac3d7e7476f97db87f687f256f Mon Sep 17 00:00:00 2001
From: Enrico Steffinlongo <enrico.steffinlongo@diffblue.com>
Date: Wed, 20 Dec 2023 22:01:10 +0000
Subject: [PATCH] Fixed cbmc test timing out

---
 regression/cbmc/String_Abstraction17/test.desc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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$
 --