Skip to content

Add IEEE 754 TiesToAway rounding mode

Codecov / codecov/patch failed Feb 5, 2025 in 0s

57.89% of diff hit (target 78.92%)

View this Pull Request on Codecov

57.89% of diff hit (target 78.92%)

Annotations

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 3921 in src/solvers/smt2/smt2_conv.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/solvers/smt2/smt2_conv.cpp#L3920-L3921 

Added lines #L3920 - L3921 were not covered by tests

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

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/solvers/smt2/smt2_conv.cpp#L3945-L3947 

Added lines #L3945 - L3947 were not covered by tests

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

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/solvers/smt2/smt2_conv.cpp#L3950 

Added line #L3950 was not covered by tests

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

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/solvers/smt2/smt2_conv.cpp#L3952 

Added line #L3952 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#L1098 

Added line #L1098 was 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#L1103 

Added line #L1103 was not covered by tests

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

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/util/ieee_float.cpp#L898 

Added line #L898 was not covered by tests

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

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/util/ieee_float.cpp#L900-L901 

Added lines #L900 - L901 were not covered by tests

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

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/util/ieee_float.cpp#L977 

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