Code

C library: fflush(NULL) is permitted#377

Code

Merged

kroening merged 1 commit intodiffblue:masterdiffblue/cbmc:masterfrom

tautschnig:fflush-fixtautschnig/cbmc:fflush-fixCopy head branch name to clipboard

Dec 28, 2016

Commits

Commits on Dec 28, 2016

• C library: fflush(NULL) is permitted

  Show description for 4e999db
  tautschnig

  committed
  4e999db

  Copy full SHA for 4e999db