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

Thorsten's HIIR revisited #1064

Closed ice1000 closed 5 months ago

codecov[bot] commented 5 months ago

Codecov Report

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

Project coverage is 75.35%. Comparing base (6d75c3b) to head (2cd3872). Report is 1 commits behind head on main.

Files Patch % Lines
.../src/main/java/org/aya/tyck/pat/PatternTycker.java 80.00% 1 Missing and 1 partial :warning:
base/src/main/java/org/aya/tyck/ExprTycker.java 0.00% 1 Missing :warning:
.../src/main/java/org/aya/tyck/pat/PatClassifier.java 87.50% 1 Missing :warning:
...se/src/main/java/org/aya/unify/TermComparator.java 83.33% 0 Missing and 1 partial :warning:
.../main/java/org/aya/compiler/PatternSerializer.java 50.00% 1 Missing :warning:
...rc/main/java/org/aya/compiler/TermExprializer.java 85.71% 0 Missing and 1 partial :warning:
...x/src/main/java/org/aya/syntax/compile/JitCon.java 88.88% 1 Missing :warning:
Additional details and impacted files ```diff @@ Coverage Diff @@ ## main #1064 +/- ## ============================================ - Coverage 75.46% 75.35% -0.12% + Complexity 3011 3009 -2 ============================================ Files 286 287 +1 Lines 9580 9600 +20 Branches 1111 1113 +2 ============================================ + Hits 7230 7234 +4 - Misses 1722 1736 +14 - Partials 628 630 +2 ```

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