Enable test which requires empty-struct trace support

thomasspriggs · thomasspriggs · commit ee6337f3e563 · 2023-08-07T19:34:09.000+01:00
diff --git a/regression/cbmc/Empty_struct3/test.desc b/regression/cbmc/Empty_struct3/test.desc
@@ -1,4 +1,4 @@
-CORE gcc-only
+CORE gcc-only new-smt-backend
 main.c
 --json-ui
 VERIFICATION FAILED
