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

Disable array-cell-sensitivity3 with new SMT back-end
tautschnig · Feb 23, 2023 · d7099ae · d7099ae
2 parents e0ccfc8 + be28f1e
commit d7099ae
Showing 1 changed file with 1 addition and 1 deletion.
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$