Skip to content

Add IEEE 754 TiesToAway rounding mode

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

75.91% of diff hit (target 78.79%)

View this Pull Request on Codecov

75.91% of diff hit (target 78.79%)

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 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 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 3910 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-L3910 

Added lines #L3908 - L3910 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 554 in src/util/ieee_float.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/util/ieee_float.cpp#L554 

Added line #L554 was not covered by tests

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

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/util/ieee_float.cpp#L556 

Added line #L556 was not covered by tests

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

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/util/ieee_float.cpp#L604 

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