Code

Fix bug causing crash on Windows#1896

Code

Merged

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

NathanJPhillips:bugfix/erroneous-referenceNathanJPhillips/cbmc:bugfix/erroneous-referenceCopy head branch name to clipboard

Mar 2, 2018

Commits

Commits on Mar 1, 2018

• Fix bug causing crash on Windows

  Show description for 8d8c2e0
  NathanJPhillips

  committed
  8d8c2e0

  Copy full SHA for 8d8c2e0