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

Class call code #1113

Closed ice1000 closed 3 months ago

codecov[bot] commented 3 months ago

Codecov Report

Attention: Patch coverage is 37.50000% with 35 lines in your changes missing coverage. Please review.

Project coverage is 79.17%. Comparing base (dd756d8) to head (988d772). Report is 8 commits behind head on main.

Files Patch % Lines
...rc/main/java/org/aya/syntax/core/def/ClassDef.java 0.00% 16 Missing :warning:
...e/src/main/java/org/aya/tyck/tycker/AppTycker.java 0.00% 7 Missing :warning:
.../java/org/aya/syntax/core/term/call/ClassCall.java 0.00% 4 Missing :warning:
base/src/main/java/org/aya/tyck/StmtTycker.java 81.81% 0 Missing and 2 partials :warning:
.../main/java/org/aya/resolve/visitor/StmtBinder.java 83.33% 1 Missing :warning:
base/src/main/java/org/aya/unify/Synthesizer.java 0.00% 1 Missing :warning:
...rc/main/java/org/aya/compiler/TermExprializer.java 0.00% 1 Missing :warning:
...x/src/main/java/org/aya/prettier/CorePrettier.java 0.00% 1 Missing :warning:
.../src/main/java/org/aya/syntax/core/def/AnyDef.java 0.00% 1 Missing :warning:
...c/main/java/org/aya/syntax/core/def/MemberDef.java 0.00% 1 Missing :warning:
Additional details and impacted files ```diff @@ Coverage Diff @@ ## main #1113 +/- ## ============================================ + Coverage 79.05% 79.17% +0.12% - Complexity 3260 3276 +16 ============================================ Files 300 301 +1 Lines 9921 9965 +44 Branches 1178 1178 ============================================ + Hits 7843 7890 +47 + Misses 1426 1425 -1 + Partials 652 650 -2 ```

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