Skip to content

flattening: use update_bits_exprt for 'with' on bit-vectors

Codecov / codecov/project failed Feb 5, 2024 in 0s

79.68% (-0.02%) compared to 592bbb9

View this Pull Request on Codecov

79.68% (-0.02%) compared to 592bbb9

Details

Codecov Report

Attention: 52 lines in your changes are missing coverage. Please review.

Comparison is base (592bbb9) 79.69% compared to head (133c09f) 79.68%.
Report is 1 commits behind head on develop.

❗ Current head 133c09f differs from pull request most recent head cefb96a. Consider uploading reports for the commit cefb96a to get more accurate results

Files Patch % Lines
src/util/bitvector_expr.h 0.00% 18 Missing ⚠️
src/util/bitvector_expr.cpp 0.00% 16 Missing ⚠️
src/solvers/flattening/boolbv_with.cpp 71.05% 11 Missing ⚠️
src/solvers/smt2/smt2_conv.cpp 16.66% 5 Missing ⚠️
src/solvers/flattening/boolbv_update_bits.cpp 0.00% 2 Missing ⚠️
Additional details and impacted files 
@@             Coverage Diff             @@
##           develop    #8182      +/-   ##
===========================================
- Coverage    79.69%   79.68%   -0.02%     
===========================================
  Files         1680     1681       +1     
  Lines       195256   195296      +40     
===========================================
+ Hits        155617   155625       +8     
- Misses       39639    39671      +32

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

View more details on Codecov