Add variant-level aliases; introduce 2SAT and 3SAT #1054
Merged
Codecov / codecov/project
succeeded
Apr 17, 2026 in 0s
97.92% (target 95.00%)
View this Pull Request on Codecov
97.92% (target 95.00%)
Details
Codecov Report
❌ Patch coverage is 98.13665% with 3 lines in your changes missing coverage. Please review.
✅ Project coverage is 97.92%. Comparing base (e38b1b5) to head (de23124).
| Files with missing lines | Patch % | Lines |
|---|---|---|
| src/unit_tests/registry/variant.rs | 96.34% | 3 Missing |
Additional details and impacted files
@@ Coverage Diff @@
## main #1054 +/- ##
==========================================
- Coverage 97.94% 97.92% -0.03%
==========================================
Files 979 964 -15
Lines 100890 99869 -1021
==========================================
- Hits 98816 97793 -1023
- Misses 2074 2076 +2 ☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.
🚀 New features to boost your workflow:
- ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.
Loading