Code

Do not ignore --full-slice#2523

Code

Merged

kroening merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

peterschrammel:do-not-ignore-full-slicepeterschrammel/cbmc:do-not-ignore-full-sliceCopy head branch name to clipboard

Jul 5, 2018

Commits

Commits on Jul 4, 2018

• Do not ignore --full-slice

  peterschrammel

  committed
  19bddce

  Copy full SHA for 19bddce