Skip to content

Data-structure and Visualization of Fault Localization Algorithms

Thomas Lemberger requested to merge fault-localization-structure into trunk

This MR introduces a data structure and Counterexample-report modifications to annotate potential faults in programs.

Merge request reports