Add now passing enum_is_in_rannge reression test

Enrico Steffinlongo · Enrico Steffinlongo · commit afbe00ff0a62 · 2023-06-22T15:02:38.000+01:00
diff --git a/regression/cbmc/enum_is_in_range/enum_test5.desc b/regression/cbmc/enum_is_in_range/enum_test5.desc
@@ -1,4 +1,4 @@
-CORE
+CORE new-smt-backend
 enum_test5.c
 --enum-range-check
 ^EXIT=10$
