codecov[bot]
commented
1 year ago Codecov Report
Attention: 3 lines in your changes are missing coverage. Please review.
Comparison is base (
5c43024) 71.58% compared to head (ead8c28) 71.57%. Report is 1 commits behind head on devel.
Additional details and impacted files
```diff @@ Coverage Diff @@ ## devel #364 +/- ## ========================================== - Coverage 71.58% 71.57% -0.01% ========================================== Files 30 30 Lines 3604 3610 +6 Branches 829 830 +1 ========================================== + Hits 2580 2584 +4 Misses 735 735 - Partials 289 291 +2 ``` | [Files](https://app.codecov.io/gh/VeriFIT/mata/pull/364?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=VeriFIT) | Coverage Δ | | |---|---|---| | [src/nfa/inclusion.cc](https://app.codecov.io/gh/VeriFIT/mata/pull/364?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=VeriFIT#diff-c3JjL25mYS9pbmNsdXNpb24uY2M=) | `88.78% <85.00%> (-1.32%)` | :arrow_down: |:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.
Worklist ordered by set size so small sets are processed first.