Code

Fix up regression/cbmc/String6#1396

Code

Merged

kroening merged 1 commit intodevelopdiffblue/cbmc:developfrom

String6-fixupdiffblue/cbmc:String6-fixupCopy head branch name to clipboard

Sep 16, 2017

Commits

Commits on Sep 16, 2017

• MSVC doesn't have strcasecmp and strncasecmp; use header for free()

  

  Daniel Kroening

  committed
  17c6ca0

  Copy full SHA for 17c6ca0