Merge pull request #7558 from tautschnig/bugfixes/disable-test

tautschnig · web-flow · commit d7099aeaff50 · 2023-02-23T10:16:55.000+01:00
Disable array-cell-sensitivity3 with new SMT back-end
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$
