KeYProject / key

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

Update README.md (license date and Java version) #3412

Closed WolframPfeifer closed 6 months ago

WolframPfeifer commented 6 months ago

We require Java 17 now. Probably it is a good idea to update that before the HacKeYthon.

codecov[bot] commented 6 months ago

Codecov Report

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

Comparison is base (3a9f3fb) 37.72% compared to head (16536a1) 37.72%.

Additional details and impacted files ```diff @@ Coverage Diff @@ ## main #3412 +/- ## ========================================= Coverage 37.72% 37.72% Complexity 17017 17017 ========================================= Files 2076 2076 Lines 126944 126944 Branches 21379 21379 ========================================= Hits 47891 47891 Misses 73155 73155 Partials 5898 5898 ```

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