Skip to content

Split ieee_floatt into ieee_float_valuet and ieee_floatt

Codecov / codecov/patch succeeded Jan 2, 2025 in 1s

81.10% of diff hit (target 78.89%)

View this Pull Request on Codecov

81.10% of diff hit (target 78.89%)

Annotations

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

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

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/util/ieee_float.cpp#L607 

Added line #L607 was not covered by tests

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

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/util/ieee_float.cpp#L701 

Added line #L701 was not covered by tests

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

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/util/ieee_float.cpp#L718 

Added line #L718 was not covered by tests

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

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/util/ieee_float.cpp#L721 

Added line #L721 was not covered by tests

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

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/util/ieee_float.cpp#L723 

Added line #L723 was not covered by tests

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

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/util/ieee_float.cpp#L727-L728 

Added lines #L727 - L728 were not covered by tests

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

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/util/ieee_float.cpp#L730 

Added line #L730 was not covered by tests

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

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/util/ieee_float.cpp#L737-L738 

Added lines #L737 - L738 were not covered by tests

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

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/util/ieee_float.cpp#L740 

Added line #L740 was not covered by tests

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

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/util/ieee_float.cpp#L743 

Added line #L743 was not covered by tests

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

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/util/ieee_float.cpp#L745 

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