search

KeYProject / key

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

Adding groups in proof collection which were lost in translation #3448

Closed mattulbrich closed 3 months ago

mattulbrich commented 3 months ago

Intended Change

In runAllProofs, some groups got mixed up and ended having files that should be in groups of their own. This PR fixes this.

Type of pull request

Ensuring quality

minor structural reorganisation of test cases

The contributions within this pull request are licensed under GPLv2 (only) for inclusion in KeY.

codecov[bot] commented 3 months ago

Codecov Report

All modified and coverable lines are covered by tests :white_check_mark:

Project coverage is 37.85%. Comparing base (fb58c33) to head (9b6559e).

Additional details and impacted files ```diff @@ Coverage Diff @@ ## main #3448 +/- ## ============================================ - Coverage 37.85% 37.85% -0.01% Complexity 17042 17042 ============================================ Files 2082 2082 Lines 127290 127290 Branches 21441 21441 ============================================ - Hits 48184 48183 -1 Misses 73194 73194 - Partials 5912 5913 +1 ```

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.

wadoon commented 3 months ago

/close already in #3400