Code

MSVC build fixes#4299

Code

Merged

tautschnig merged 3 commits intodiffblue:developdiffblue/cbmc:developfrom

karkhaz:kk-msvc-build-fixeskarkhaz/cbmc:kk-msvc-build-fixesCopy head branch name to clipboard

Feb 28, 2019

Commits

Commits on Feb 28, 2019

• Don't run library check under MSVC

  Show description for d2933cb
  karkhaz

  committed
  d2933cb

  Copy full SHA for d2933cb

• CMake whitespace fixes

  Show description for fe67615
  karkhaz

  committed
  fe67615

  Copy full SHA for fe67615

• Quote $CC in library_check.sh

  Show description for 0bd112c
  karkhaz

  committed
  0bd112c

  Copy full SHA for 0bd112c