search

aya-prover / aya-dev

A proof assistant and a dependently-typed language
https://www.aya-prover.org
MIT License
281 stars 16 forks source link

Coverage #1076

Closed ice1000 closed 5 months ago

codecov[bot] commented 5 months ago

Codecov Report

Attention: Patch coverage is 86.48649% with 10 lines in your changes are missing coverage. Please review.

Project coverage is 78.21%. Comparing base (b9af1a9) to head (5f87295). Report is 1 commits behind head on main.

:exclamation: Current head 5f87295 differs from pull request most recent head 9df2f0d

Please upload reports for the commit 9df2f0d to get more accurate results.

Files Patch % Lines
...in/java/org/aya/syntax/telescope/AbstractTele.java 71.42% 7 Missing and 1 partial :warning:
...se/src/main/java/org/aya/unify/TermComparator.java 66.66% 1 Missing and 1 partial :warning:
Additional details and impacted files ```diff @@ Coverage Diff @@ ## main #1076 +/- ## ============================================ + Coverage 77.92% 78.21% +0.28% - Complexity 3109 3129 +20 ============================================ Files 289 290 +1 Lines 9655 9658 +3 Branches 1121 1120 -1 ============================================ + Hits 7524 7554 +30 + Misses 1501 1475 -26 + Partials 630 629 -1 ```

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