Removing call to Cudd_RecursiveDeref
#223
Merged
Codecov / codecov/project
succeeded
Nov 25, 2024 in 0s
78.52% (-0.02%) compared to d5101ce, passed because coverage increased by 0% when compared to adjusted base (78.52%)
View this Pull Request on Codecov
78.52% (-0.02%) compared to d5101ce, passed because coverage increased by 0% when compared to adjusted base (78.52%)
Details
Codecov Report
All modified and coverable lines are covered by tests ✅
Project coverage is 78.52%. Comparing base (
d5101ce) to head (56a8d05).
Report is 2 commits behind head on main.
Additional details and impacted files
@@ Coverage Diff @@
## main #223 +/- ##
==========================================
- Coverage 78.54% 78.52% -0.02%
==========================================
Files 30 30
Lines 2391 2389 -2
==========================================
- Hits 1878 1876 -2
Misses 513 513 ☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.
🚨 Try these New Features:
- Flaky Tests Detection - Detect and resolve failed and flaky tests
Loading