Skip to content

CONTRACTS: fix loop latch nodes normalization

Codecov / codecov/patch failed Aug 20, 2024 in 1s

0.00% of diff hit (target 77.94%)

View this Pull Request on Codecov

0.00% of diff hit (target 77.94%)

Annotations

Check warning on line 165 in src/goto-instrument/contracts/dynamic-frames/dfcc_check_loop_normal_form.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-instrument/contracts/dynamic-frames/dfcc_check_loop_normal_form.cpp#L165 

Added line #L165 was not covered by tests

Check warning on line 175 in src/goto-instrument/contracts/dynamic-frames/dfcc_check_loop_normal_form.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-instrument/contracts/dynamic-frames/dfcc_check_loop_normal_form.cpp#L174-L175 

Added lines #L174 - L175 were not covered by tests

Check warning on line 177 in src/goto-instrument/contracts/dynamic-frames/dfcc_check_loop_normal_form.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-instrument/contracts/dynamic-frames/dfcc_check_loop_normal_form.cpp#L177 

Added line #L177 was not covered by tests

Check warning on line 179 in src/goto-instrument/contracts/dynamic-frames/dfcc_check_loop_normal_form.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-instrument/contracts/dynamic-frames/dfcc_check_loop_normal_form.cpp#L179 

Added line #L179 was not covered by tests

Check warning on line 181 in src/goto-instrument/contracts/dynamic-frames/dfcc_check_loop_normal_form.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-instrument/contracts/dynamic-frames/dfcc_check_loop_normal_form.cpp#L181 

Added line #L181 was not covered by tests

Check warning on line 184 in src/goto-instrument/contracts/dynamic-frames/dfcc_check_loop_normal_form.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-instrument/contracts/dynamic-frames/dfcc_check_loop_normal_form.cpp#L183-L184 

Added lines #L183 - L184 were not covered by tests

Check warning on line 186 in src/goto-instrument/contracts/dynamic-frames/dfcc_check_loop_normal_form.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-instrument/contracts/dynamic-frames/dfcc_check_loop_normal_form.cpp#L186 

Added line #L186 was not covered by tests

Check warning on line 188 in src/goto-instrument/contracts/dynamic-frames/dfcc_check_loop_normal_form.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-instrument/contracts/dynamic-frames/dfcc_check_loop_normal_form.cpp#L188 

Added line #L188 was not covered by tests

Check warning on line 190 in src/goto-instrument/contracts/dynamic-frames/dfcc_check_loop_normal_form.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-instrument/contracts/dynamic-frames/dfcc_check_loop_normal_form.cpp#L190 

Added line #L190 was not covered by tests

Check warning on line 192 in src/goto-instrument/contracts/dynamic-frames/dfcc_check_loop_normal_form.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-instrument/contracts/dynamic-frames/dfcc_check_loop_normal_form.cpp#L192 

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