Run additional regressions with new SMT solver

Enrico Steffinlongo · Enrico Steffinlongo · commit 112d11168ce9 · 2023-11-27T16:04:20.000Z
Adding other 2 regression tests now passing to be run with new SMT solver

Specifically:
 - dynamic_size1/stack_object.desc
 - ptr_arithmetic_on_null/type_conflict.desc
diff --git a/regression/cbmc/dynamic_size1/stack_object.desc b/regression/cbmc/dynamic_size1/stack_object.desc
@@ -1,4 +1,4 @@
-CORE no-new-smt
+CORE
 stack_object.c
 --pointer-check
 ^EXIT=0$
diff --git a/regression/cbmc/ptr_arithmetic_on_null/type_conflict.desc b/regression/cbmc/ptr_arithmetic_on_null/type_conflict.desc
@@ -1,4 +1,4 @@
-CORE gcc-only no-new-smt
+CORE gcc-only
 main.c
 -DMISSING_CAST
 pointer subtraction over different types

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-CORE no-new-smt`
	`1`	`+CORE`
`2`	`2`	`stack_object.c`
`3`	`3`	`--pointer-check`
`4`	`4`	`^EXIT=0$`
Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-CORE gcc-only no-new-smt`
	`1`	`+CORE gcc-only`
`2`	`2`	`main.c`
`3`	`3`	`-DMISSING_CAST`
`4`	`4`	`pointer subtraction over different types`