Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

fix #3553 #3560

Merged
merged 2 commits into from
Feb 21, 2025

spotless fix

284bb1e
Select commit
Loading
Failed to load commit list.
Merged

fix #3553 #3560

spotless fix
284bb1e
Select commit
Loading
Failed to load commit list.
Codecov / codecov/project succeeded Feb 21, 2025 in 0s

38.39% (+0.06%) compared to 46ef350

View this Pull Request on Codecov

38.39% (+0.06%) compared to 46ef350

Details

Codecov Report

Attention: Patch coverage is 0% with 2 lines in your changes missing coverage. Please review.

Project coverage is 38.39%. Comparing base (46ef350) to head (284bb1e).
Report is 8 commits behind head on main.

Files with missing lines Patch % Lines
...rc/main/java/de/uka/ilkd/key/proof/io/KeYFile.java 0.00% 2 Missing ⚠️
Additional details and impacted files 
@@             Coverage Diff              @@
##               main    #3560      +/-   ##
============================================
+ Coverage     38.33%   38.39%   +0.06%     
+ Complexity    17257    17238      -19     
============================================
  Files          2111     2098      -13     
  Lines        127630   127324     -306     
  Branches      21461    21442      -19     
============================================
- Hits          48923    48886      -37     
+ Misses        72695    72427     -268     
+ Partials       6012     6011       -1

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

View more details on Codecov