Switch on running function_pointer8 test with new SMT

thomasspriggs · thomasspriggs · commit ab9d2e9f793e · 2023-09-14T19:43:36.000+01:00
diff --git a/regression/cbmc/Function_Pointer8/test.desc b/regression/cbmc/Function_Pointer8/test.desc
@@ -1,4 +1,4 @@
-CORE
+CORE new-smt-backend
 main.c
 
 ^EXIT=10$
