Removed tests blocking z3

Enrico Steffinlongo · Enrico Steffinlongo · commit c38117bcbc89 · 2023-01-17T18:30:22.000Z
diff --git a/regression/cbmc/memset1/test.desc b/regression/cbmc/memset1/test.desc
@@ -1,4 +1,4 @@
-CORE new-smt-backend
+CORE
 main.c
 
 ^EXIT=10$
