Skip to content

Merge branch 'main' into fixValuesKeyword

44b52f4
Select commit
Loading
Failed to load commit list.
Open

Fix handling of \values keyword #3718

Merge branch 'main' into fixValuesKeyword
44b52f4
Select commit
Loading
Failed to load commit list.
Codecov / codecov/project succeeded Mar 25, 2026 in 1s

50.48% (+0.14%) compared to a12644c

View this Pull Request on Codecov

50.48% (+0.14%) compared to a12644c

Details

Codecov Report

❌ Patch coverage is 0% with 10 lines in your changes missing coverage. Please review.
✅ Project coverage is 50.48%. Comparing base (a12644c) to head (44b52f4).
⚠️ Report is 162 commits behind head on main.

Files with missing lines Patch % Lines
...ava/de/uka/ilkd/key/speclang/LoopContractImpl.java 0.00% 7 Missing ⚠️
.../de/uka/ilkd/key/speclang/njml/JmlTermFactory.java 0.00% 2 Missing ⚠️
...java/de/uka/ilkd/key/speclang/njml/Translator.java 0.00% 1 Missing ⚠️
Additional details and impacted files
@@             Coverage Diff              @@
##               main    #3718      +/-   ##
============================================
+ Coverage     50.34%   50.48%   +0.14%     
- Complexity    15902    16158     +256     
============================================
  Files          1597     1620      +23     
  Lines         91026    92014     +988     
  Branches      14554    14707     +153     
============================================
+ Hits          45824    46455     +631     
- Misses        39988    40295     +307     
- Partials       5214     5264      +50     

☔ 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.