From be28f1ea084435a038144c437ed394c098ee57c9 Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Wed, 22 Feb 2023 21:28:19 +0000 Subject: [PATCH] Disable array-cell-sensitivity3 with new SMT back-end See #7549: this test appears to fail when building with coverage annotation enabled (but succeeds otherwise). --- regression/cbmc/array-cell-sensitivity3/test_execution.desc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/regression/cbmc/array-cell-sensitivity3/test_execution.desc b/regression/cbmc/array-cell-sensitivity3/test_execution.desc index 4f8a74b4cea..52bf413ffd9 100644 --- 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$