Code

Cover failed assertions#5636

Code

Merged

hannes-steffenhagen-diffblue merged 9 commits intodiffblue:developdiffblue/cbmc:developfrom

hannes-steffenhagen-diffblue:feature/cover-failed-assertionshannes-steffenhagen-diffblue/cbmc:feature/cover-failed-assertionsCopy head branch name to clipboard

Jan 8, 2021

Commits

Commits on Nov 27, 2020

• Extract constants for --cover help message and options

  Show description for cefd3ce
  hannes-steffenhagen-diffblue

  committed
  cefd3ce

  Copy full SHA for cefd3ce

• Add --cover-failed-assertions option

  Show description for a442dbb
  hannes-steffenhagen-diffblue

  committed
  a442dbb

  Copy full SHA for a442dbb

• Update cbmc README.md with --cover-failed-assertions flag

  hannes-steffenhagen-diffblue

  committed
  d3bfa2b

  Copy full SHA for d3bfa2b

Commits on Dec 7, 2020

• Update regexes in test to match actual lines matched.

  

  NlightNFotis

  authored and

  hannes-steffenhagen-diffblue

  committed
  b3d0bfa

  Copy full SHA for b3d0bfa

Commits on Dec 10, 2020

• Mark new tests as expected failures for paths flag.

  Show description for c039da3
  

  NlightNFotis

  authored and

  hannes-steffenhagen-diffblue

  committed
  c039da3

  Copy full SHA for c039da3

• Do not check XML traces on --cover tests

  hannes-steffenhagen-diffblue

  committed
  a86ffc7

  Copy full SHA for a86ffc7

Commits on Dec 17, 2020

• Fix typo

  hannes-steffenhagen-diffblue

  committed
  e93654c

  Copy full SHA for e93654c

• Fix spacing

  hannes-steffenhagen-diffblue

  committed
  3d21a85

  Copy full SHA for 3d21a85

• Add comments to tests

  hannes-steffenhagen-diffblue

  committed
  bad0d16

  Copy full SHA for bad0d16