Skip to content

Handle Switch in Taclets w/o Transformer #3761

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

Draft
Drodt wants to merge 10 commits into
base: main
Choose a base branch
from

Merge branch 'main' into match-switch

1c0b416
Select commit
Loading
Failed to load commit list.
Draft

Handle Switch in Taclets w/o Transformer #3761

Merge branch 'main' into match-switch
1c0b416
Select commit
Loading
Failed to load commit list.
Codecov / codecov/project succeeded Mar 13, 2026 in 0s

50.27% (-0.07%) compared to a12644c

View this Pull Request on Codecov

50.27% (-0.07%) compared to a12644c

Details

Codecov Report

❌ Patch coverage is 28.26748% with 236 lines in your changes missing coverage. Please review.
✅ Project coverage is 50.27%. Comparing base (a12644c) to head (1c0b416).
⚠️ Report is 5 commits behind head on main.

Files with missing lines Patch % Lines
...ava/de/uka/ilkd/key/java/statement/ActiveCase.java 18.96% 43 Missing and 4 partials ⚠️
...va/de/uka/ilkd/key/java/recoderext/ActiveCase.java 33.89% 35 Missing and 4 partials ⚠️
...in/java/de/uka/ilkd/key/java/statement/Switch.java 13.63% 35 Missing and 3 partials ⚠️
.../uka/ilkd/key/java/visitor/CreatingASTVisitor.java 0.00% 25 Missing ⚠️
...uka/ilkd/key/java/visitor/ProgramContextAdder.java 30.00% 19 Missing and 2 partials ⚠️
...ilkd/key/java/statement/SwitchBranchSVWrapper.java 0.00% 11 Missing ⚠️
...lkd/key/java/recoderext/SwitchBranchSVWrapper.java 42.85% 8 Missing ⚠️
...rc/main/java/de/uka/ilkd/key/pp/PrettyPrinter.java 0.00% 7 Missing and 1 partial ⚠️
.../src/main/java/de/uka/ilkd/key/java/JavaTools.java 0.00% 2 Missing and 2 partials ⚠️
...main/java/de/uka/ilkd/key/java/statement/Exec.java 0.00% 2 Missing and 1 partial ⚠️
... and 20 more
Additional details and impacted files 
@@             Coverage Diff              @@
##               main    #3761      +/-   ##
============================================
- Coverage     50.34%   50.27%   -0.07%     
- Complexity    15902    15944      +42     
============================================
  Files          1597     1603       +6     
  Lines         91026    91281     +255     
  Branches      14554    14579      +25     
============================================
+ Hits          45824    45895      +71     
- Misses        39988    40145     +157     
- Partials       5214     5241      +27

☔ 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.
View more details on Codecov