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

Renamer #1096

Closed ice1000 closed 3 months ago

ice1000 commented 3 months ago

Fix #1041

codecov[bot] commented 3 months ago

Codecov Report

Attention: Patch coverage is 76.13636% with 42 lines in your changes missing coverage. Please review.

Project coverage is 78.79%. Comparing base (9eb394c) to head (d603ef4). Report is 1 commits behind head on main.

Files Patch % Lines
syntax/src/main/java/org/aya/generic/Renamer.java 70.00% 8 Missing and 7 partials :warning:
...ase/src/main/java/org/aya/unify/DoubleChecker.java 27.27% 7 Missing and 1 partial :warning:
...ax/src/main/java/org/aya/syntax/ref/LocalCtx1.java 22.22% 4 Missing and 3 partials :warning:
base/src/main/java/org/aya/unify/Synthesizer.java 50.00% 4 Missing :warning:
...se/src/main/java/org/aya/unify/TermComparator.java 78.57% 1 Missing and 2 partials :warning:
.../src/main/java/org/aya/syntax/ref/MapLocalCtx.java 86.66% 1 Missing and 1 partial :warning:
.../src/main/java/org/aya/tyck/pat/PatternTycker.java 83.33% 1 Missing :warning:
.../src/main/java/org/aya/compiler/SourceBuilder.java 50.00% 1 Missing :warning:
...x/src/main/java/org/aya/prettier/CorePrettier.java 95.45% 1 Missing :warning:
Additional details and impacted files ```diff @@ Coverage Diff @@ ## main #1096 +/- ## ============================================ - Coverage 78.84% 78.79% -0.05% - Complexity 3194 3209 +15 ============================================ Files 291 294 +3 Lines 9798 9834 +36 Branches 1148 1157 +9 ============================================ + Hits 7725 7749 +24 - Misses 1434 1440 +6 - Partials 639 645 +6 ```

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