Code

C++ regression tests on Windows#2292

Code

Merged

tautschnig merged 3 commits intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:c++-windowstautschnig/cbmc:c++-windowsCopy head branch name to clipboard

Jun 7, 2018

Commits

Commits on Jun 7, 2018

• Configure C++ language standard in goto-cl

  tautschnig

  committed
  9adf5f1

  Copy full SHA for 9adf5f1

• Prevent regression failures of cpp tests on windows

  

  andreast271

  authored and

  tautschnig

  committed
  8d86e44

  Copy full SHA for 8d86e44

• Enable C++ regression tests on AppVeyor

  tautschnig

  committed
  5fd18a9

  Copy full SHA for 5fd18a9