Switch on smt test fixed by struct of single struct support

thomasspriggs · thomasspriggs · commit 7eab7ac6e6e3 · 2023-10-11T20:46:02.000+01:00
diff --git a/regression/cbmc/Struct_Initialization5/test.desc b/regression/cbmc/Struct_Initialization5/test.desc
@@ -1,4 +1,4 @@
-CORE
+CORE new-smt-backend
 main.c
 
 ^EXIT=0$
