introduce zero_extend expression
77.58% of diff hit (target 78.38%)
View this Pull Request on Codecov
77.58% of diff hit (target 78.38%)
Annotations
Check warning on line 169 in src/solvers/flattening/boolbv.cpp
codecov / codecov/patch
src/solvers/flattening/boolbv.cpp#L169
Added line #L169 was not covered by tests
Check warning on line 755 in src/solvers/floatbv/float_bv.cpp
codecov / codecov/patch
src/solvers/floatbv/float_bv.cpp#L755
Added line #L755 was not covered by tests
Check warning on line 1836 in src/solvers/smt2_incremental/convert_expr_to_smt.cpp
codecov / codecov/patch
src/solvers/smt2_incremental/convert_expr_to_smt.cpp#L1836
Added line #L1836 was not covered by tests
Check warning on line 305 in src/solvers/smt2_incremental/smt2_incremental_decision_procedure.cpp
codecov / codecov/patch
src/solvers/smt2_incremental/smt2_incremental_decision_procedure.cpp#L305
Added line #L305 was not covered by tests
Check warning on line 57 in src/util/bitvector_expr.cpp
codecov / codecov/patch
src/util/bitvector_expr.cpp#L57
Added line #L57 was not covered by tests
Check warning on line 87 in src/util/bitvector_expr.cpp
codecov / codecov/patch
src/util/bitvector_expr.cpp#L87
Added line #L87 was not covered by tests
Check warning on line 294 in src/util/bitvector_expr.cpp
codecov / codecov/patch
src/util/bitvector_expr.cpp#L294
Added line #L294 was not covered by tests
Check warning on line 382 in src/util/format_expr.cpp
codecov / codecov/patch
src/util/format_expr.cpp#L380-L382
Added lines #L380 - L382 were not covered by tests
Check warning on line 1004 in src/util/simplify_expr_int.cpp
codecov / codecov/patch
src/util/simplify_expr_int.cpp#L1004
Added line #L1004 was not covered by tests
Check warning on line 1007 in src/util/simplify_expr_int.cpp
codecov / codecov/patch
src/util/simplify_expr_int.cpp#L1007
Added line #L1007 was not covered by tests