search

KeYProject / key

KeY Theorem Prover for Deductive Java Verification
https://key-project.org
Other
46 stars 25 forks source link

KeY 2.12.2 Summary PR #3328

Closed unp1 closed 12 months ago

unp1 commented 1 year ago

This PR is to prepare the upcoming bugfix version KeY 2.12.2.

At the moment it contains the following PRs from main (cherry-picked):

3323,#3287 Z3 OF

3326 ClassCastException in LogicPrinter

3307 Fix Nullable/non_null modifier model methods

3312 Corrupt Term...Indexes

3343 Fix stuck CounterExample Dialog

3344 Fix consistency of proof status and tasktree icon

It will solve issue #3323

codecov[bot] commented 1 year ago

Codecov Report

:exclamation: No coverage uploaded for pull request base (KeY-2.12.2@d750928). Click here to learn what that means. The diff coverage is n/a.

:exclamation: Current head 8dae860 differs from pull request most recent head 4f5a25b. Consider uploading reports for the commit 4f5a25b to get more accurate results

@@              Coverage Diff              @@
##             KeY-2.12.2    #3328   +/-   ##
=============================================
  Coverage              ?   37.76%           
  Complexity            ?    16865           
=============================================
  Files                 ?     2053           
  Lines                 ?   126545           
  Branches              ?    21260           
=============================================
  Hits                  ?    47790           
  Misses                ?    72907           
  Partials              ?     5848

:mega: Codecov offers a browser extension for seamless coverage viewing on GitHub. Try it in Chrome or Firefox today!