Skip to content

Refinement of fault localization

Thomas Lemberger requested to merge refactor-faultlocalization into trunk

This MR is supposed to fix #887 (closed), #896 (closed) and #897 (closed) :

In addition, SSA indices are now shown in the formulas reported by fault localization, as these may be relevant to differentiate between different values of the same variable.

Edited by Thomas Lemberger

Merge request reports