Skip to content

Add IEEE 754 TiesToAway rounding mode

Codecov / codecov/patch failed Jan 26, 2025 in 1s

61.85% of diff hit (target 78.92%)

View this Pull Request on Codecov

61.85% of diff hit (target 78.92%)

Annotations

Check warning on line 2195 in jbmc/src/java_bytecode/java_bytecode_convert_method.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

jbmc/src/java_bytecode/java_bytecode_convert_method.cpp#L2195 

Added line #L2195 was not covered by tests

Check warning on line 291 in src/analyses/interval_domain.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/analyses/interval_domain.cpp#L291 

Added line #L291 was not covered by tests

Check warning on line 316 in src/analyses/interval_domain.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/analyses/interval_domain.cpp#L316 

Added line #L316 was not covered by tests

Check warning on line 765 in src/ansi-c/goto-conversion/goto_check_c.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/ansi-c/goto-conversion/goto_check_c.cpp#L764-L765 

Added lines #L764 - L765 were not covered by tests

Check warning on line 770 in src/ansi-c/goto-conversion/goto_check_c.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/ansi-c/goto-conversion/goto_check_c.cpp#L770 

Added line #L770 was not covered by tests

Check warning on line 849 in src/ansi-c/goto-conversion/goto_check_c.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/ansi-c/goto-conversion/goto_check_c.cpp#L848-L849 

Added lines #L848 - L849 were not covered by tests

Check warning on line 854 in src/ansi-c/goto-conversion/goto_check_c.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/ansi-c/goto-conversion/goto_check_c.cpp#L854 

Added line #L854 was not covered by tests

Check warning on line 74 in src/ansi-c/literals/convert_float_literal.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/ansi-c/literals/convert_float_literal.cpp#L74 

Added line #L74 was not covered by tests

Check warning on line 579 in src/goto-programs/interpreter.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-programs/interpreter.cpp#L579 

Added line #L579 was not covered by tests

Check warning on line 367 in src/goto-programs/interpreter_evaluate.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-programs/interpreter_evaluate.cpp#L367 

Added line #L367 was not covered by tests

Check warning on line 736 in src/goto-programs/interpreter_evaluate.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-programs/interpreter_evaluate.cpp#L734-L736 

Added lines #L734 - L736 were not covered by tests

Check warning on line 1172 in src/solvers/floatbv/float_bv.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/solvers/floatbv/float_bv.cpp#L1172 

Added line #L1172 was not covered by tests

Check warning on line 1174 in src/solvers/floatbv/float_bv.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/solvers/floatbv/float_bv.cpp#L1174 

Added line #L1174 was not covered by tests

Check warning on line 1183 in src/solvers/floatbv/float_bv.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/solvers/floatbv/float_bv.cpp#L1183 

Added line #L1183 was not covered by tests

Check warning on line 998 in src/solvers/floatbv/float_utils.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/solvers/floatbv/float_utils.cpp#L998 

Added line #L998 was not covered by tests

Check warning on line 64 in src/solvers/floatbv/float_utils.h

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/solvers/floatbv/float_utils.h#L62-L64 

Added lines #L62 - L64 were not covered by tests

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

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/solvers/smt2/smt2_conv.cpp#L488-L489 

Added lines #L488 - L489 were not covered by tests

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

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/solvers/smt2/smt2_conv.cpp#L3883-L3884 

Added lines #L3883 - L3884 were not covered by tests

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

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/solvers/smt2/smt2_conv.cpp#L3908-L3911 

Added lines #L3908 - L3911 were not covered by tests

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

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/solvers/smt2/smt2_conv.cpp#L3913 

Added line #L3913 was not covered by tests

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

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/solvers/smt2/smt2_conv.cpp#L3915 

Added line #L3915 was not covered by tests

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

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/solvers/smt2/smt2_parser.cpp#L1097-L1098 

Added lines #L1097 - L1098 were not covered by tests

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

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/solvers/smt2/smt2_parser.cpp#L1102-L1103 

Added lines #L1102 - L1103 were not covered by tests

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

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/util/ieee_float.cpp#L60 

Added line #L60 was not covered by tests

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

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/util/ieee_float.cpp#L481 

Added line #L481 was not covered by tests
View more details on Codecov