Closed WolframPfeifer closed 4 months ago
All modified and coverable lines are covered by tests :white_check_mark:
Project coverage is 37.85%. Comparing base (
fb58c33
) to head (0885db4
).
:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.
@mattulbrich This is the PR I mentioned yesterday. It just refactors the declarations in some .key files a bit and should not introduce any functional changes (apart from a more helpful message when a symbol is declared twice). It would be nice if you could take a quick look ... Thanks in advance!
This PR does some cleanup in the .key LDT files:
ruleSetsDeclarations.key
into a separate fileoptionsDeclarations.key
.ruleSetsDeclarations.key
andjavaRules.key
into the new filejavaHeader.key
.optimisedSelectRules
) was removed.Type of pull request
Ensuring quality
The contributions within this pull request are licensed under GPLv2 (only) for inclusion in KeY.