Closed JonasKlamroth closed 5 months ago
All modified and coverable lines are covered by tests :white_check_mark:
Project coverage is 37.91%. Comparing base (
1fb0c10
) to head (dd1a99f
). Report is 11 commits behind head on main.
:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.
force pushed for reformatting
On the other side, we might want to migrate from csv to something more robust like Json. The ci-tool
offers already such an export for further script-based analysis.
Related Issue
This pull request addresses #1533 .
Intended Change
This replaces the fix seperator "," with a static final String which may be set arbitrarily. This resolved the described problems in the description of the issue.
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.