More strict search for patterns within RQG output.
util/simplify-
Current algorithm:
Success for current simplification in case all assigned patterns occur somewhere within the RQG log.
Disadvantage: This algorithm tends to "false" success judgement.
Proposed algorithm:
Rightmost refers to file and not to line.
Search for rightmost position where <pattern n+1> occurs
Found: No --> no success of simplification attempt
Blueprint information
- Status:
- Not started
- Approver:
- None
- Priority:
- Medium
- Drafter:
- None
- Direction:
- Needs approval
- Assignee:
- Matthias Leich
- Definition:
- New
- Series goal:
- None
- Implementation:
- Unknown
- Milestone target:
- None
- Started by
- Completed by
Related branches
Related bugs
Sprints
Whiteboard
The priority will have to be increased as soon as we meet a case where we have a significant likelihood
that the simplification process judges wrong.
This applies mostly to RQG tests with threads > 1 ,