Code

basic fault localization#181

Code

Merged

kroening merged 3 commits intodiffblue:masterdiffblue/cbmc:masterfrom

peterschrammel:fault-localizationpeterschrammel/cbmc:fault-localizationCopy head branch name to clipboard

Aug 22, 2016

Commits

Commits on Jul 19, 2016

• basic fault localization

  

  Peter Schrammel

  committed
  06a464a

  Copy full SHA for 06a464a

Commits on Aug 21, 2016

• Merge branch 'master' of https://github.com/diffblue/cbmc into fault-localization

  

  Peter Schrammel

  committed
  531bc26

  Copy full SHA for 531bc26

• fault localization now integrates with bmc_all_properties and stop_on_fail

  

  Peter Schrammel

  committed
  06d9e51

  Copy full SHA for 06d9e51