Closed vb213 closed 3 months ago
Attention: Patch coverage is 59.09091%
with 9 lines
in your changes are missing coverage. Please review.
Project coverage is 37.91%. Comparing base (
7254776
) to head (f423328
). Report is 21 commits behind head on main.:exclamation: Current head f423328 differs from pull request most recent head b5f8c17. Consider uploading reports for the commit b5f8c17 to get more accurate results
Files | Patch % | Lines |
---|---|---|
.../key/smt/solvertypes/SolverTypeImplementation.java | 59.09% | 4 Missing and 5 partials :warning: |
:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.
Intended Change
The specified path to a smt solver has been assembled incorrectly from the user input but still got cached in the proofIndependentSettings.props file. This caused a crash when restarting KeY. Now,
Type of pull request
Ensuring quality
The contributions within this pull request are licensed under GPLv2 (only) for inclusion in KeY.