Skip to content

MR for branch rewrite-fault-localization-trace-formula

Matthias Kettl requested to merge rewrite-fault-localization-trace-formula into trunk

Refactoring of TraceFormula.

Overview of changes:

  • Merged Selector and FormulaEntryList
  • TraceFormula now is immutable and consists of the three expected parts Precondition, Trace, PostCondition
  • Use Interpreter instead of inheriting from TraceFormula.
  • Improved fault localization results because precondition is now handled independently from the trace.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/rewrite-fault-localization-trace-formula@40010 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c

Edited by Matthias Kettl

Merge request reports