fix: FuncDefns don't require that their extensions match their children #688
Codecov / codecov/project
succeeded
Nov 16, 2023 in 0s
84.32% (+0.04%) compared to e7473f2
View this Pull Request on Codecov
84.32% (+0.04%) compared to e7473f2
Details
Codecov Report
Attention: 11 lines in your changes are missing coverage. Please review.
Comparison is base (
e7473f2) 84.27% compared to head (31d2d54) 84.32%.
Report is 1 commits behind head on main.
| Files | Patch % | Lines |
|---|---|---|
| src/extension/infer/test.rs | 78.26% | 1 Missing and 9 partials |
| src/hugr/validate/test.rs | 97.77% | 1 Missing |
Additional details and impacted files
@@ Coverage Diff @@
## main #688 +/- ##
==========================================
+ Coverage 84.27% 84.32% +0.04%
==========================================
Files 66 66
Lines 12960 13050 +90
Branches 12960 13050 +90
==========================================
+ Hits 10922 11004 +82
- Misses 1282 1283 +1
- Partials 756 763 +7 ☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.
Loading