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

Test passes 

Some prior fix to the C++ front-end has addressed this.
This commit is contained in:
Michael Tautschnig 2018-06-24 23:38:34 +00:00
parent 0cf27c611d
commit ee2421a6fc
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
regression/systemc/Reference1/test.desc
View File

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