Code

Add codecov#4448

Code

Merged

peterschrammel merged 5 commits intodiffblue:developdiffblue/cbmc:developfrom

yumibagge:yb/codecovyumibagge/cbmc:yb/codecovCopy head branch name to clipboard

May 31, 2019

Commits

Commits on May 30, 2019

• Add AWS CodeBuild spec to run codecov

  yumibagge

  committed
  c1b1d07

  Copy full SHA for c1b1d07

• Add CPROVER_WITH_PROFILING to make build

  Show description for 0ef5e78
  yumibagge

  committed
  0ef5e78

  Copy full SHA for 0ef5e78

• Add codecov badge

  yumibagge

  committed
  69dbdef

  Copy full SHA for 69dbdef

• Add AWS CodeBuild spec to run codecov w cmake

  Show description for 0ea62e3
  yumibagge

  committed
  0ea62e3

  Copy full SHA for 0ea62e3

• Add goto-harness dependency and unify format

  yumibagge

  committed
  a780511

  Copy full SHA for a780511