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

Remove unnecessary (and inconsistent) return statement

This commit is contained in:
Michael Tautschnig 2018-05-07 11:15:09 +00:00
parent 88db26f13a
commit 033f4c5191
1 changed files with 0 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
regression/cbmc/Float22/main.c
View File

@ -69,8 +69,6 @@ void testTwo (void) {
f2.f = returnsField(1);
assert(f1.ieee.negative != f2.ieee.negative);
return 1;
}