Code

Cover-function-only support#758

Code

Merged

peterschrammel merged 2 commits intodiffblue:test-gen-supportdiffblue/cbmc:test-gen-supportfrom

smowton:feature/cover-function-onlysmowton/cbmc:feature/cover-function-onlyCopy head branch name to clipboard

Apr 4, 2017

Commits

Commits on Apr 4, 2017

• Implement function-only coverage

  Show description for 4c4d85c
  smowton

  committed
  4c4d85c

  Copy full SHA for 4c4d85c

• Apply review comments to coverage code

  Show description for 161aeee
  smowton

  committed
  161aeee

  Copy full SHA for 161aeee