Skip to content

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

Codecov / codecov/patch failed Feb 5, 2024 in 1s

35.00% of diff hit (target 79.69%)

View this Pull Request on Codecov

35.00% of diff hit (target 79.69%)

Annotations

Check warning on line 13 in src/solvers/flattening/boolbv_update_bits.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/solvers/flattening/boolbv_update_bits.cpp#L13 

Added line #L13 was not covered by tests

Check warning on line 15 in src/solvers/flattening/boolbv_update_bits.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/solvers/flattening/boolbv_update_bits.cpp#L15 

Added line #L15 was not covered by tests

Check warning on line 27 in src/solvers/flattening/boolbv_with.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/solvers/flattening/boolbv_with.cpp#L25-L27 

Added lines #L25 - L27 were not covered by tests

Check warning on line 79 in src/solvers/flattening/boolbv_with.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/solvers/flattening/boolbv_with.cpp#L79 

Added line #L79 was not covered by tests

Check warning on line 92 in src/solvers/flattening/boolbv_with.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/solvers/flattening/boolbv_with.cpp#L92 

Added line #L92 was not covered by tests

Check warning on line 95 in src/solvers/flattening/boolbv_with.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/solvers/flattening/boolbv_with.cpp#L95 

Added line #L95 was not covered by tests

Check warning on line 99 in src/solvers/flattening/boolbv_with.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/solvers/flattening/boolbv_with.cpp#L99 

Added line #L99 was not covered by tests

Check warning on line 224 in src/solvers/flattening/boolbv_with.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/solvers/flattening/boolbv_with.cpp#L224 

Added line #L224 was not covered by tests

Check warning on line 232 in src/solvers/flattening/boolbv_with.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/solvers/flattening/boolbv_with.cpp#L232 

Added line #L232 was not covered by tests

Check warning on line 235 in src/solvers/flattening/boolbv_with.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/solvers/flattening/boolbv_with.cpp#L234-L235 

Added lines #L234 - L235 were not covered by tests

Check warning on line 1687 in src/solvers/smt2/smt2_conv.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/solvers/smt2/smt2_conv.cpp#L1687 

Added line #L1687 was not covered by tests

Check warning on line 4290 in src/solvers/smt2/smt2_conv.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/solvers/smt2/smt2_conv.cpp#L4289-L4290 

Added lines #L4289 - L4290 were not covered by tests

Check warning on line 4305 in src/solvers/smt2/smt2_conv.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/solvers/smt2/smt2_conv.cpp#L4305 

Added line #L4305 was not covered by tests

Check warning on line 4307 in src/solvers/smt2/smt2_conv.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/solvers/smt2/smt2_conv.cpp#L4307 

Added line #L4307 was not covered by tests

Check warning on line 45 in src/util/bitvector_expr.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/util/bitvector_expr.cpp#L45 

Added line #L45 was not covered by tests

Check warning on line 50 in src/util/bitvector_expr.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/util/bitvector_expr.cpp#L47-L50 

Added lines #L47 - L50 were not covered by tests

Check warning on line 56 in src/util/bitvector_expr.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/util/bitvector_expr.cpp#L53-L56 

Added lines #L53 - L56 were not covered by tests

Check warning on line 59 in src/util/bitvector_expr.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/util/bitvector_expr.cpp#L59 

Added line #L59 was not covered by tests

Check warning on line 62 in src/util/bitvector_expr.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/util/bitvector_expr.cpp#L61-L62 

Added lines #L61 - L62 were not covered by tests

Check warning on line 65 in src/util/bitvector_expr.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/util/bitvector_expr.cpp#L65 

Added line #L65 was not covered by tests

Check warning on line 68 in src/util/bitvector_expr.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/util/bitvector_expr.cpp#L68 

Added line #L68 was not covered by tests

Check warning on line 72 in src/util/bitvector_expr.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/util/bitvector_expr.cpp#L71-L72 

Added lines #L71 - L72 were not covered by tests

Check warning on line 535 in src/util/bitvector_expr.h

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/util/bitvector_expr.h#L535 

Added line #L535 was not covered by tests

Check warning on line 543 in src/util/bitvector_expr.h

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/util/bitvector_expr.h#L542-L543 

Added lines #L542 - L543 were not covered by tests

Check warning on line 546 in src/util/bitvector_expr.h

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/util/bitvector_expr.h#L545-L546 

Added lines #L545 - L546 were not covered by tests
View more details on Codecov