Skip to content

fix enum-range check for LHSs

Codecov / codecov/patch succeeded Dec 25, 2024 in 1s

82.75% of diff hit (target 78.55%)

View this Pull Request on Codecov

82.75% of diff hit (target 78.55%)

Annotations

Check warning on line 166 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#L166

Added line #L166 was not covered by tests

Check warning on line 543 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#L543

Added line #L543 was not covered by tests

Check warning on line 1981 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#L1981

Added line #L1981 was not covered by tests

Check warning on line 1983 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#L1983

Added line #L1983 was not covered by tests

Check warning on line 2075 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#L2075

Added line #L2075 was not covered by tests