Anodther cbmc regr

Enrico Steffinlongo · Enrico Steffinlongo · commit 3a2b7be125e5 · 2023-12-18T23:19:31.000Z
diff --git a/regression/cbmc/String_Abstraction17/test.desc b/regression/cbmc/String_Abstraction17/test.desc
@@ -1,4 +1,4 @@
-CORE
+CORE no-new-smt
 strcpy-no-decl.c
 --string-abstraction --validate-goto-model
 ^EXIT=10$

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-CORE`
	`1`	`+CORE no-new-smt`
`2`	`2`	`strcpy-no-decl.c`
`3`	`3`	`--string-abstraction --validate-goto-model`
`4`	`4`	`^EXIT=10$`