C library: fflush(NULL) is permitted#377

Merged

kroening merged 1 commit intodiffblue:masterfrom

tautschnig:fflush-fix

Dec 28, 2016

Commits on Dec 28, 2016

C library: fflush(NULL) is permitted
tautschnig
committed