replica
/
diffblue-cbmc
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Activate regression tests previously KNOWNBUG 

These tests can now be executed in our test suite.
This commit is contained in:
Romain Brenguier 2019-08-06 16:53:49 +01:00
parent ca78842ca6
commit 08d43f9271
3 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
regression/cbmc-concurrency/norace_array1/test.desc
View File

@ -1,4 +1,4 @@
KNOWNBUG pthread
CORE pthread
main.c
^EXIT=0$

2
regression/cbmc-concurrency/norace_array2/test.desc
View File

@ -1,4 +1,4 @@
KNOWNBUG pthread
CORE pthread
main.c
^EXIT=0$

2
regression/cbmc-concurrency/struct_and_array1/test.desc
View File

@ -1,4 +1,4 @@
KNOWNBUG
CORE pthread
main.c
^EXIT=0$