Code

Visual Studio 2013 -> 2015#2576

Code

Closed

kroening wants to merge 1 commit intodevelopdiffblue/cbmc:developfrom

appveyor-vs2015diffblue/cbmc:appveyor-vs2015Copy head branch name to clipboard

Commits

Commits on Jul 19, 2018

• Compilation instructions now say that VS 2015 is required

  

  Daniel Kroening

  committed
  0764554

  Copy full SHA for 0764554