Code

Microsoft LINK personality#2674

Code

Merged

kroening merged 2 commits intodevelopdiffblue/cbmc:developfrom

msvc-linkdiffblue/cbmc:msvc-linkCopy head branch name to clipboard

Aug 7, 2018

Commits

Commits on Aug 6, 2018

• Microsoft LINK personality

  

  Daniel Kroening

  authored and

  tautschnig

  committed
  64fedd0

  Copy full SHA for 64fedd0

• Regression test for goto-link personality

  tautschnig

  committed
  c63030f

  Copy full SHA for c63030f