search

KeYProject / key

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

fix smt solver downloader script #3445

Closed wadoon closed 4 months ago

wadoon commented 5 months ago

Fix the downloading of SMT solver in the CI pipeline.

Version of z3 and CVC5 are now pinned.

codecov[bot] commented 5 months ago

Codecov Report

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

Project coverage is 37.83%. Comparing base (c3b3268) to head (70348ff).

Additional details and impacted files ```diff @@ Coverage Diff @@ ## main #3445 +/- ## ============================================ - Coverage 37.85% 37.83% -0.03% + Complexity 17042 17034 -8 ============================================ Files 2082 2082 Lines 127290 127290 Branches 21441 21441 ============================================ - Hits 48183 48157 -26 - Misses 73194 73218 +24 - Partials 5913 5915 +2 ```

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