Closed FliegendeWurst closed 5 months ago
All modified and coverable lines are covered by tests :white_check_mark:
Comparison is base (
1fb0c10
) 37.77% compared to head (0e66dd9
) 37.77%.
:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.
Intended Change
This PR fixes the position info of the error for incorrect equality expressions.
Type of pull request
Ensuring quality
Additional information and contact(s)
The contributions within this pull request are licensed under GPLv2 (only) for inclusion in KeY.