Code

VisualStudio build fixes#538

Code

Merged

forejtv merged 3 commits intodiffblue:masterdiffblue/cbmc:masterfrom

tautschnig:fix-531-532tautschnig/cbmc:fix-531-532Copy head branch name to clipboard

Feb 14, 2017

Commits

Commits on Feb 13, 2017

• Add missing <string> header for std::to_string

  Show description for 46c2380
  tautschnig

  committed
  46c2380

  Copy full SHA for 46c2380

• Work around VS2013's lack of constexpr support

  Show description for b2e5c0d
  tautschnig

  committed
  b2e5c0d

  Copy full SHA for b2e5c0d

• Include <algorithm> to provide std::max

  tautschnig

  committed
  50f7eb1

  Copy full SHA for 50f7eb1