Skip to content
New issue

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

Sign up for GitHub

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

Already on GitHub? Sign in to your account

Jump to bottom

Map with new equalities #3486

Merged
merged 35 commits into from
Jul 20, 2024

Merge branch 'main' into map-with-new-equalities

0ebb8b5
Select commit
Loading
Failed to load commit list.
Merged

Map with new equalities #3486

Merge branch 'main' into map-with-new-equalities
0ebb8b5
Select commit
Loading
Failed to load commit list.
Codecov / codecov/project succeeded Jul 12, 2024 in 1s

38.16% (+0.05%) compared to ea0879b

View this Pull Request on Codecov

38.16% (+0.05%) compared to ea0879b

Details

Codecov Report

Attention: Patch coverage is 86.13139% with 19 lines in your changes missing coverage. Please review.

Project coverage is 38.16%. Comparing base (ea0879b) to head (0ebb8b5).
Report is 1 commits behind head on main.

Files Patch % Lines
...ava/de/uka/ilkd/key/util/LinkedHashMapWrapper.java 81.48% 7 Missing and 3 partials ⚠️
...java/de/uka/ilkd/key/logic/util/EqualityUtils.java 55.55% 2 Missing and 2 partials ⚠️
.../ilkd/key/logic/equality/RenamingTermProperty.java 88.88% 1 Missing and 2 partials ⚠️
.../logic/equality/RenamingSourceElementProperty.java 92.30% 0 Missing and 2 partials ⚠️
Additional details and impacted files 
@@             Coverage Diff              @@
##               main    #3486      +/-   ##
============================================
+ Coverage     38.10%   38.16%   +0.05%     
- Complexity    17181    17222      +41     
============================================
  Files          2107     2109       +2     
  Lines        127519   127643     +124     
  Branches      21437    21458      +21     
============================================
+ Hits          48596    48710     +114     
- Misses        72940    72943       +3     
- Partials       5983     5990       +7

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

View more details on Codecov