Switch on existing test of empty union support

thomasspriggs · thomasspriggs · commit 92a039ef53f2 · 2023-10-18T13:40:55.000+01:00
This test now passes due to the support added in the previous commit.
diff --git a/regression/cbmc/Union_Initialization2/test.desc b/regression/cbmc/Union_Initialization2/test.desc
@@ -1,4 +1,4 @@
-CORE gcc-only
+CORE gcc-only new-smt-backend
 main.c
 
 ^EXIT=10$
