the egraph matching machine lives again
Codecov / codecov/project
failed
Jan 29, 2024 in 1s
82.60% (target 95.00%)
View this Pull Request on Codecov
82.60% (target 95.00%)
Details
Codecov Report
Attention: 312 lines in your changes are missing coverage. Please review.
Comparison is base (
1ee1536) 96.61% compared to head (a6709d8) 82.60%.
Report is 1 commits behind head on main.
❗ Current head a6709d8 differs from pull request most recent head 75dc28e. Consider uploading reports for the commit 75dc28e to get more accurate results
| Files | Patch % | Lines |
|---|---|---|
| src/syntax/egraphs/ematching.jl | 0.00% | 141 Missing |
| src/syntax/egraphs/east.jl | 0.00% | 131 Missing |
| src/syntax/egraphs/extraction.jl | 0.00% | 22 Missing |
| src/syntax/egraphs/algebraic.jl | 0.00% | 18 Missing |
Additional details and impacted files
@@ Coverage Diff @@
## main #125 +/- ##
===========================================
- Coverage 96.61% 82.60% -14.01%
===========================================
Files 38 39 +1
Lines 2067 2231 +164
===========================================
- Hits 1997 1843 -154
- Misses 70 388 +318 ☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.
Loading