Skip to content

Draft: Add example report with fault localization

Thomas Lemberger requested to merge 776-update-example-report-with-fault-localization-visualization into trunk

Updates the current bubble-sort example linked on the webpage with a new run including fault localization (with the MAX-Sat algorithm).

The example is available here: http://www.cip.ifi.lmu.de/~kettl/Counterexample.2.html
The example is also included in this MR, but I'm not sure whether we want to add it to the repository.

In addition, the example program is difficult to read because it is preprocessed with cilly. Maybe this is a good occassion to update the example with a program that is easier to read?

Closes #776

Edited by Thomas Lemberger

Merge request reports