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

Increase coverage, more code on classes #1107

Closed ice1000 closed 3 months ago

codecov[bot] commented 3 months ago

Codecov Report

Attention: Patch coverage is 70.00000% with 3 lines in your changes missing coverage. Please review.

Project coverage is 78.80%. Comparing base (d4091bb) to head (4623a02). Report is 1 commits behind head on main.

Files Patch % Lines
...rc/main/java/org/aya/syntax/core/def/ClassDef.java 0.00% 1 Missing :warning:
...c/main/java/org/aya/syntax/core/def/MemberDef.java 0.00% 1 Missing :warning:
...yntax/src/main/java/org/aya/syntax/ref/DefVar.java 66.66% 0 Missing and 1 partial :warning:
Additional details and impacted files ```diff @@ Coverage Diff @@ ## main #1107 +/- ## ============================================ + Coverage 78.72% 78.80% +0.07% - Complexity 3237 3243 +6 ============================================ Files 298 298 Lines 9887 9891 +4 Branches 1172 1172 ============================================ + Hits 7784 7795 +11 + Misses 1451 1444 -7 Partials 652 652 ```

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