Closed Drodt closed 2 months ago
Attention: Patch coverage is 48.11166%
with 316 lines
in your changes are missing coverage. Please review.
Project coverage is 37.96%. Comparing base (
7254776
) to head (07ad420
). Report is 116 commits behind head on main.:exclamation: Current head 07ad420 differs from pull request most recent head a16defe
Please upload reports for the commit a16defe to get more accurate results.
:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.
Related Issue
Intended Change
This PR moves the
ParsableVariable
interface toncore
, makes it no longer anOperator
and renamesAbstractSV
toOperatorSV
as this interface now handles all schema variables that may be operators.It also handles the refactorings necessary to adapt to this change. I.e., changing types where necessary, changing how modality schema vars are matched, and some changes to the term builder.
Also fixes the Github workflow.
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.