Disable array-cell-sensitivity3 with new SMT back-end

tautschnig · tautschnig · commit be28f1ea0844 · 2023-02-22T21:28:19.000Z
See #7549: this test appears to fail when building with coverage annotation enabled (but succeeds otherwise).
diff --git a/regression/cbmc/array-cell-sensitivity3/test_execution.desc b/regression/cbmc/array-cell-sensitivity3/test_execution.desc
@@ -1,4 +1,4 @@
-CORE new-smt-backend
+CORE
 test.c
 
 ^VERIFICATION FAILED$
