Support Export and Import of Fault Localization Results
The merge request refactors the framework for fault localization and adds support for im-/exporting faults.
The merge request refactors the framework for fault localization and adds support for im-/exporting faults.