Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
SoSy-Lab
Software
CPAchecker
Merge requests
!134
Draft: Branch to improve fault localization
Code
Review changes
Check out branch
Download
Patches
Plain diff
Matthias Kettl
requested to merge
improve-fault-localization
into
trunk
Feb 27, 2024
Overview
9
Commits
11
Pipelines
8
Changes
16
Expand
Merge Request for improvements to fault localization (SSA adjustment).
Merge request reports