Closed Drodt closed 4 months ago
Attention: 2 lines
in your changes are missing coverage. Please review.
Comparison is base (
1fb0c10
) 37.77% compared to head (678e1da
) 37.77%.
Files | Patch % | Lines |
---|---|---|
.../uka/ilkd/key/proof/init/DependencyContractPO.java | 0.00% | 2 Missing :warning: |
:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.
Related Issue
This pull request fixes #3411.
Intended Change
KeY will report an exception when the user attempts to open a proof obligation for void methods.
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.