Closed mattulbrich closed 4 months ago
Attention: Patch coverage is 73.91304%
with 24 lines
in your changes are missing coverage. Please review.
Project coverage is 37.88%. Comparing base (
9cc569c
) to head (1088e18
).:exclamation: Current head 1088e18 differs from pull request most recent head 30afba3. Consider uploading reports for the commit 30afba3 to get more accurate results
:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.
This PR will also fix #3441
Ping for a review, @WolframPfeifer. Thx.
This brings the edits from the error reporting group at the hackeython onto the main branch
Intended Change
Have better parser message.
The code driving the parsers has been adapted. Also the code that produces the JML code to parse had to be adapted to contain the correct spaces. Moreover, message extraction from ANTLR exception classes has been improved.
Type of pull request
Ensuring quality
Additional information and contact(s)
Collaboration with @FliegendeWurst @MarcoScaletta @LennartKleinwort
The contributions within this pull request are licensed under GPLv2 (only) for inclusion in KeY.