Code

JBMC tests should not use --cover#2846

Code

Merged

peterschrammel merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

peterschrammel:jbmc-no-cover-testspeterschrammel/cbmc:jbmc-no-cover-testsCopy head branch name to clipboard

Aug 28, 2018

Commits

Commits on Aug 28, 2018

• JBMC tests should not use --cover

  Show description for e152c92
  peterschrammel

  committed
  e152c92

  Copy full SHA for e152c92