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

Jit class cp 2 #1139

Closed ice1000 closed 4 days ago

ice1000 commented 4 days ago

More

codecov[bot] commented 4 days ago

Codecov Report

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

Project coverage is 79.87%. Comparing base (26555c7) to head (b57e183). Report is 4 commits behind head on main.

Files with missing lines Patch % Lines
...rc/main/java/org/aya/syntax/compile/JitMember.java 0.00% 3 Missing :warning:
Additional details and impacted files ```diff @@ Coverage Diff @@ ## main #1139 +/- ## ========================================= Coverage 79.87% 79.87% Complexity 3391 3391 ========================================= Files 312 312 Lines 10230 10230 Branches 1221 1221 ========================================= Hits 8171 8171 Misses 1391 1391 Partials 668 668 ```

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