search

aya-prover / aya-dev

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

Various improvements but not fixing bugs #1087

Closed ice1000 closed 4 months ago

codecov[bot] commented 4 months ago

Codecov Report

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

Project coverage is 78.58%. Comparing base (f764534) to head (cd245d1). Report is 1 commits behind head on main.

Files Patch % Lines
base/src/main/java/org/aya/tyck/ExprTycker.java 77.77% 2 Missing :warning:
base/src/main/java/org/aya/tyck/StmtTycker.java 0.00% 2 Missing :warning:
...se/src/main/java/org/aya/normalize/Normalizer.java 0.00% 0 Missing and 1 partial :warning:
...src/main/java/org/aya/tyck/order/AyaSccTycker.java 75.00% 0 Missing and 1 partial :warning:
Additional details and impacted files ```diff @@ Coverage Diff @@ ## main #1087 +/- ## ============================================ + Coverage 78.51% 78.58% +0.06% - Complexity 3147 3156 +9 ============================================ Files 291 291 Lines 9699 9712 +13 Branches 1129 1132 +3 ============================================ + Hits 7615 7632 +17 + Misses 1447 1444 -3 + Partials 637 636 -1 ```

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