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

Set statement: Check assignee for validity #3195

Closed
wants to merge 14 commits into from

[bugfix] solving a small glitch in the issue dialog

f31f539
Select commit
Loading
Failed to load commit list.
Closed

Set statement: Check assignee for validity #3195

[bugfix] solving a small glitch in the issue dialog
f31f539
Select commit
Loading
Failed to load commit list.
This check has been archived and is scheduled for deletion. Learn more about checks retention
Codecov / codecov/project succeeded Jan 13, 2024 in 1s

37.96% (+0.02%) compared to 4a2b5ce

View this Pull Request on Codecov

37.96% (+0.02%) compared to 4a2b5ce

Details

Codecov Report

Attention: 85 lines in your changes are missing coverage. Please review.

Comparison is base (4a2b5ce) 37.93% compared to head (f31f539) 37.96%.
Report is 5 commits behind head on main.

Files Patch % Lines
...in/java/de/uka/ilkd/key/rule/SetStatementRule.java 32.50% 26 Missing and 1 partial ⚠️
.../uka/ilkd/key/rule/SetStatementBuiltInRuleApp.java 0.00% 8 Missing ⚠️
...d/key/speclang/jml/translation/JMLSpecFactory.java 78.94% 5 Missing and 3 partials ⚠️
...rc/main/java/de/uka/ilkd/key/pp/PrettyPrinter.java 0.00% 7 Missing ⚠️
...main/java/de/uka/ilkd/key/speclang/SLEnvInput.java 58.33% 4 Missing and 1 partial ⚠️
...a/de/uka/ilkd/key/java/statement/SetStatement.java 60.00% 4 Missing ⚠️
.../uka/ilkd/key/java/visitor/CreatingASTVisitor.java 0.00% 4 Missing ⚠️
...ey/java/visitor/InnerBreakAndContinueReplacer.java 0.00% 4 Missing ⚠️
...a/visitor/OuterBreakContinueAndReturnReplacer.java 0.00% 4 Missing ⚠️
...ey/rule/metaconstruct/WhileLoopTransformation.java 0.00% 4 Missing ⚠️
... and 5 more
Additional details and impacted files 
@@             Coverage Diff              @@
##               main    #3195      +/-   ##
============================================
+ Coverage     37.93%   37.96%   +0.02%     
- Complexity    17035    17064      +29     
============================================
  Files          2060     2064       +4     
  Lines        126284   126421     +137     
  Branches      21303    21318      +15     
============================================
+ Hits          47912    47990      +78     
- Misses        72487    72542      +55     
- Partials       5885     5889       +4

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

View more details on Codecov