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.

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

Fix various UI bugs #3216

Merged
merged 44 commits into from
Jul 30, 2023

Merge remote-tracking branch 'origin/KeY-2.12.0' into chaosMonkey

cbd6e0c
Select commit
Loading
Failed to load commit list.
Merged

Fix various UI bugs #3216

Merge remote-tracking branch 'origin/KeY-2.12.0' into chaosMonkey
cbd6e0c
Select commit
Loading
Failed to load commit list.
Codecov / codecov/project succeeded Jul 27, 2023 in 0s

37.76% (+0.03%) compared to c628a78

View this Pull Request on Codecov

37.76% (+0.03%) compared to c628a78

Details

Codecov Report

Merging #3216 (cbd6e0c) into KeY-2.12.0 (c628a78) will increase coverage by 0.03%.
Report is 12 commits behind head on KeY-2.12.0.
The diff coverage is 76.59%.

@@               Coverage Diff                @@
##             KeY-2.12.0    #3216      +/-   ##
================================================
+ Coverage         37.72%   37.76%   +0.03%     
- Complexity        16851    16872      +21     
================================================
  Files              2054     2053       -1     
  Lines            126475   126494      +19     
  Branches          21255    21258       +3     
================================================
+ Hits              47711    47766      +55     
+ Misses            72920    72884      -36     
  Partials           5844     5844              
Files Changed Coverage Δ
.../ilkd/key/prover/impl/DefaultTaskFinishedInfo.java 26.66% <0.00%> (-1.91%) ⬇️
...n/java/de/uka/ilkd/key/settings/ProofSettings.java 73.07% <22.22%> (-2.18%) ⬇️
...ka/ilkd/key/proof/reference/ReferenceSearcher.java 83.56% <90.00%> (+4.99%) ⬆️
...ore/src/main/java/de/uka/ilkd/key/proof/Proof.java 77.67% <100.00%> (+0.47%) ⬆️
...de/uka/ilkd/key/proof/init/KeYUserProblemFile.java 74.35% <100.00%> (+0.33%) ⬆️
...ore/src/main/java/de/uka/ilkd/key/rule/Taclet.java 77.96% <100.00%> (+0.41%) ⬆️
...in/java/de/uka/ilkd/key/settings/ViewSettings.java 38.34% <100.00%> (+1.42%) ⬆️

... and 12 files with indirect coverage changes

📣 We’re building smart automated test selection to slash your CI/CD build times. Learn more