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

Increase test coverage #1073

Closed ice1000 closed 5 months ago

ice1000 commented 5 months ago

bors r+

codecov[bot] commented 5 months ago

Codecov Report

Attention: Patch coverage is 62.96296% with 10 lines in your changes are missing coverage. Please review.

Project coverage is 76.86%. Comparing base (7174004) to head (ff36150). Report is 2 commits behind head on main.

Files Patch % Lines
.../src/main/java/org/aya/tyck/error/HoleProblem.java 16.66% 5 Missing :warning:
base/src/main/java/org/aya/tyck/TyckState.java 33.33% 2 Missing :warning:
...c/main/java/org/aya/prettier/ConcretePrettier.java 0.00% 0 Missing and 2 partials :warning:
...er/src/main/java/org/aya/producer/AyaProducer.java 50.00% 0 Missing and 1 partial :warning:
Additional details and impacted files ```diff @@ Coverage Diff @@ ## main #1073 +/- ## ============================================ + Coverage 75.46% 76.86% +1.39% - Complexity 3019 3079 +60 ============================================ Files 287 287 Lines 9632 9635 +3 Branches 1118 1118 ============================================ + Hits 7269 7406 +137 + Misses 1731 1599 -132 + Partials 632 630 -2 ```

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