Skip to content

spotlessing

b425891
Select commit
Loading
Failed to load commit list.
Merged

small fixes to datatype handling #3661

spotlessing
b425891
Select commit
Loading
Failed to load commit list.
Codecov / codecov/project succeeded Sep 22, 2025 in 1s

47.03% (-0.14%) compared to 28025d8

View this Pull Request on Codecov

47.03% (-0.14%) compared to 28025d8

Details

Codecov Report

❌ Patch coverage is 81.48148% with 5 lines in your changes missing coverage. Please review.
✅ Project coverage is 47.03%. Comparing base (28025d8) to head (b425891).
⚠️ Report is 13 commits behind head on main.

Files with missing lines Patch % Lines
.../key/nparser/builder/FunctionPredicateBuilder.java 42.85% 2 Missing and 2 partials ⚠️
.../uka/ilkd/key/proof/mgt/RuleJustificationInfo.java 0.00% 1 Missing ⚠️
Additional details and impacted files
@@             Coverage Diff              @@
##               main    #3661      +/-   ##
============================================
- Coverage     47.16%   47.03%   -0.14%     
+ Complexity    15801    15790      -11     
============================================
  Files          1673     1675       +2     
  Lines         96171    96341     +170     
  Branches      15397    15434      +37     
============================================
- Hits          45359    45312      -47     
- Misses        45641    45866     +225     
+ Partials       5171     5163       -8     

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

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.