Mark passing concurrency test as such

The issue that had been reported back in #303 has been fixed in f56466c65d.
2019-03-11 13:27:58 +00:00 · 2019-03-11 13:27:58 +00:00 · 029d820a49
parent 55ca2c6d7b
commit 029d820a49
1 changed files with 1 additions and 1 deletions
--- 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$