Skip to content

Introduce floatbv_round_to_integral_exprt

Codecov / codecov/patch succeeded Jan 6, 2025 in 0s

87.60% of diff hit (target 78.82%)

View this Pull Request on Codecov

87.60% of diff hit (target 78.82%)

Annotations

Check warning on line 3249 in src/ansi-c/c_typecheck_expr.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/ansi-c/c_typecheck_expr.cpp#L3247-L3249 

Added lines #L3247 - L3249 were not covered by tests

Check warning on line 98 in src/solvers/flattening/boolbv_floatbv_op.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/solvers/flattening/boolbv_floatbv_op.cpp#L98 

Added line #L98 was not covered by tests

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

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/solvers/smt2/smt2_conv.cpp#L1204 

Added line #L1204 was not covered by tests

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

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/solvers/smt2/smt2_conv.cpp#L3279 

Added line #L3279 was not covered by tests

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

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/solvers/smt2/smt2_conv.cpp#L3282 

Added line #L3282 was not covered by tests

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

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/solvers/smt2/smt2_conv.cpp#L3286-L3290 

Added lines #L3286 - L3290 were not covered by tests

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

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/solvers/smt2/smt2_conv.cpp#L3293-L3294 

Added lines #L3293 - L3294 were not covered by tests

Check warning on line 1410 in src/solvers/smt2/smt2_parser.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/solvers/smt2/smt2_parser.cpp#L1409-L1410 

Added lines #L1409 - L1410 were not covered by tests

Check warning on line 1413 in src/solvers/smt2/smt2_parser.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/solvers/smt2/smt2_parser.cpp#L1412-L1413 

Added lines #L1412 - L1413 were not covered by tests

Check warning on line 1416 in src/solvers/smt2/smt2_parser.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/solvers/smt2/smt2_parser.cpp#L1415-L1416 

Added lines #L1415 - L1416 were not covered by tests

Check warning on line 1419 in src/solvers/smt2/smt2_parser.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/solvers/smt2/smt2_parser.cpp#L1419 

Added line #L1419 was not covered by tests

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

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/util/ieee_float.cpp#L62 

Added line #L62 was not covered by tests

Check warning on line 1068 in src/util/ieee_float.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/util/ieee_float.cpp#L1068 

Added line #L1068 was not covered by tests

Check warning on line 1071 in src/util/ieee_float.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/util/ieee_float.cpp#L1070-L1071 

Added lines #L1070 - L1071 were not covered by tests

Check warning on line 327 in src/util/ieee_float.h

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/util/ieee_float.h#L327 

Added line #L327 was not covered by tests

Check warning on line 332 in src/util/ieee_float.h

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/util/ieee_float.h#L329-L332 

Added lines #L329 - L332 were not covered by tests
View more details on Codecov