use zero_extend_exprt in SMT2 front-end
#8493
Merged
Codecov / codecov/project
succeeded
Dec 17, 2024 in 0s
78.93% (+0.30%) compared to fa299c5
View this Pull Request on Codecov
78.93% (+0.30%) compared to fa299c5
Details
Codecov Report
All modified and coverable lines are covered by tests ✅
Project coverage is 78.93%. Comparing base (
fa299c5) to head (7687a69).
Additional details and impacted files
@@ Coverage Diff @@
## develop #8493 +/- ##
===========================================
+ Coverage 78.63% 78.93% +0.30%
===========================================
Files 1728 1728
Lines 199408 198654 -754
Branches 18316 18352 +36
===========================================
+ Hits 156797 156810 +13
+ Misses 42611 41844 -767 ☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.
Loading