Code

Remove existing coverage goals#1685

Code

Merged

chrisr-diffblue merged 2 commits intodiffblue:developdiffblue/cbmc:developfrom

peterschrammel:remove-existing-coverage-goalspeterschrammel/cbmc:remove-existing-coverage-goalsCopy head branch name to clipboard

Jan 2, 2018

Commits

Commits on Dec 22, 2017

• Remove existing coverage goals

  Show description for 6c39443
  peterschrammel

  committed
  6c39443

  Copy full SHA for 6c39443

Commits on Jan 2, 2018

• Update a comment in instrument_cover_goals

  chrisr-diffblue

  authored
  f13c871

  Copy full SHA for f13c871