Boyer Moore Majority Vote

KeYProject / key

KeY Theorem Prover for Deductive Java Verification

https://key-project.org

Other

42 stars 24 forks source link

Boyer Moore Majority Vote #3454

Closed mattulbrich closed 3 months ago

mattulbrich commented 3 months ago

Intended Change

Adding a new example to KeY, and to runAllProofs.

Plan

This PR is ready.

Type of pull request

non-breaking change which adds an example
There are changes to the deployment/CI infrastructure (gradle, github, ...): added test case

Ensuring quality

I have tested the feature as follows: added to runAllProofs
I have checked that runtime performance has not deteriorated: n/a

Additional information and contact(s)

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

Drodt commented 3 months ago

I was working on the same example :)

mattulbrich commented 3 months ago

Ah. We should have coordinated :) Let's compare solutions!

Drodt commented 3 months ago

The code was very similar of course but I wanted to try if I could use the partition approach they originally used. Couldn’t find a good source for it though—thanks to great hotel wifi.

codecov[bot] commented 3 months ago

Codecov Report

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

Project coverage is 37.87%. Comparing base (9cc569c) to head (e06d0b8).

Additional details and impacted files

```diff @@ Coverage Diff @@ ## main #3454 +/- ## ========================================= Coverage 37.87% 37.87% Complexity 17083 17083 ========================================= Files 2092 2092 Lines 127520 127520 Branches 21466 21466 ========================================= Hits 48298 48298 Misses 73316 73316 Partials 5906 5906 ```

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