Code

Refactor coverage instrumentation#1419

Code

Merged

peterschrammel merged 6 commits intodiffblue:developdiffblue/cbmc:developfrom

peterschrammel:refactor/cover-instrumentpeterschrammel/cbmc:refactor/cover-instrumentCopy head branch name to clipboard

Jan 5, 2018

Commits

Commits on Jan 2, 2018

• Replace cover-function-only by cover-include-pattern

  Show description for 0fc08f3
  peterschrammel

  committed
  0fc08f3

  Copy full SHA for 0fc08f3

• Split cover into several files

  peterschrammel

  committed
  873627a

  Copy full SHA for 873627a

• Introduce cover instrumenter

  peterschrammel

  committed
  a7f0c3d

  Copy full SHA for a7f0c3d

• Document cover functions

  peterschrammel

  committed
  8da5395

  Copy full SHA for 8da5395

• Factorize source location initialization

  peterschrammel

  committed
  b6fa3e8

  Copy full SHA for b6fa3e8

• Pass command line options via optionst

  peterschrammel

  committed
  aac181f

  Copy full SHA for aac181f