Merge pull request #7745 from thomasspriggs/tas/enable_smt_struct_tests

Enable SMT tests fixed by rudimentary struct support

Author: thomasspriggs

regression/cbmc/Endianness7/test.desc

@@ -1,4 +1,4 @@
-CORE
+CORE new-smt-backend
 main.c
 --big-endian --no-simplify
 ^EXIT=0$

regression/cbmc/Malloc13/test.desc

@@ -1,4 +1,4 @@
-CORE
+CORE new-smt-backend
 main.c
 --string-abstraction
 ^EXIT=0$

regression/cbmc/Malloc23/test.desc

@@ -1,4 +1,4 @@
-CORE
+CORE new-smt-backend
 main.c
 --pointer-check
 ^EXIT=10$

regression/cbmc/String_Abstraction24/test.desc

@@ -1,4 +1,4 @@
-CORE
+CORE new-smt-backend
 main.c
 --string-abstraction
 ^VERIFICATION FAILED$

regression/cbmc/equality_through_array_of_struct1/test.desc

@@ -1,4 +1,4 @@
-CORE
+CORE new-smt-backend
 main.c
 
 ^EXIT=0$

regression/cbmc/equality_through_array_of_struct2/test.desc

@@ -1,4 +1,4 @@
-CORE
+CORE new-smt-backend
 main.c
 
 ^EXIT=0$

regression/cbmc/equality_through_array_of_struct3/test.desc

@@ -1,4 +1,4 @@
-CORE
+CORE new-smt-backend
 main.c
 
 ^EXIT=0$

regression/cbmc/equality_through_array_of_struct4/test.desc

@@ -1,4 +1,4 @@
-CORE
+CORE new-smt-backend
 main.c
 
 ^EXIT=0$

regression/cbmc/offsetof1/test.desc

@@ -1,4 +1,4 @@
-CORE
+CORE new-smt-backend
 main.c
 
 ^EXIT=0$