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

Quotient and fmset ++-assoc #1103

Closed ice1000 closed 5 months ago

codecov[bot] commented 5 months ago

Codecov Report

Attention: Patch coverage is 61.11111% with 7 lines in your changes missing coverage. Please review.

Project coverage is 78.97%. Comparing base (6f68ffd) to head (92e891a). Report is 1 commits behind head on main.

Files Patch % Lines
base/src/main/java/org/aya/tyck/error/Goal.java 25.00% 0 Missing and 3 partials :warning:
...se/src/main/java/org/aya/unify/TermComparator.java 60.00% 1 Missing and 1 partial :warning:
base/src/main/java/org/aya/tyck/ExprTycker.java 75.00% 0 Missing and 1 partial :warning:
base/src/main/java/org/aya/unify/Synthesizer.java 0.00% 1 Missing :warning:
Additional details and impacted files ```diff @@ Coverage Diff @@ ## main #1103 +/- ## ============================================ + Coverage 78.94% 78.97% +0.02% - Complexity 3228 3232 +4 ============================================ Files 293 293 Lines 9833 9831 -2 Branches 1166 1169 +3 ============================================ + Hits 7763 7764 +1 + Misses 1421 1418 -3 Partials 649 649 ```

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