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

Class resolver #1134

Open ice1000 opened 3 months ago

codecov[bot] commented 3 months ago

Codecov Report

Attention: Patch coverage is 70.65217% with 27 lines in your changes missing coverage. Please review.

Project coverage is 79.70%. Comparing base (2ae36d8) to head (ce70125). Report is 2 commits behind head on main.

Files with missing lines Patch % Lines
base/src/main/java/org/aya/tyck/ClassResolver.java 0.00% 21 Missing :warning:
base/src/main/java/org/aya/tyck/ArgsComputer.java 92.42% 2 Missing and 3 partials :warning:
base/src/main/java/org/aya/tyck/ExprTycker.java 80.00% 1 Missing :warning:
Additional details and impacted files ```diff @@ Coverage Diff @@ ## main #1134 +/- ## ============================================ - Coverage 79.84% 79.70% -0.14% - Complexity 3398 3399 +1 ============================================ Files 312 314 +2 Lines 10245 10274 +29 Branches 1223 1217 -6 ============================================ + Hits 8180 8189 +9 - Misses 1397 1418 +21 + Partials 668 667 -1 ```

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