From 9a1281fda504165b50fd1ecd42b77c266a7200a0 Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Mon, 11 Mar 2019 13:27:58 +0000 Subject: [PATCH] Mark passing concurrency test as such The issue that had been reported back in #303 has been fixed in f56466c65d. --- regression/cbmc-concurrency/stack1/test.desc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/regression/cbmc-concurrency/stack1/test.desc b/regression/cbmc-concurrency/stack1/test.desc index 52168c7eba4..8ecf05b6d5c 100644 --- a/regression/cbmc-concurrency/stack1/test.desc +++ b/regression/cbmc-concurrency/stack1/test.desc @@ -1,4 +1,4 @@ -KNOWNBUG +CORE pthread main.c ^EXIT=0$