add nand_exprt, nor_exprt, xnor_exprt, bitnand_exprt, bitnor_exprt #8531
Codecov / codecov/project
succeeded
Dec 17, 2024 in 1s
78.93% (+0.00%) compared to fd13d3a
View this Pull Request on Codecov
78.93% (+0.00%) compared to fd13d3a
Details
Codecov Report
All modified and coverable lines are covered by tests ✅
Project coverage is 78.93%. Comparing base (
fd13d3a) to head (740f399).
Additional details and impacted files
@@ Coverage Diff @@
## develop #8531 +/- ##
========================================
Coverage 78.93% 78.93%
========================================
Files 1728 1728
Lines 198634 198634
Branches 18309 18354 +45
========================================
Hits 156795 156795
Misses 41839 41839 ☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.
Loading