CONTRACTS: redirect checks to outer write set for loops that get skipped #8416
Codecov / codecov/patch
succeeded
Aug 21, 2024 in 0s
91.66% of diff hit (target 77.88%)
View this Pull Request on Codecov
91.66% of diff hit (target 77.88%)
Annotations
Check warning on line 632 in src/goto-instrument/contracts/dynamic-frames/dfcc_cfg_info.cpp
codecov / codecov/patch
src/goto-instrument/contracts/dynamic-frames/dfcc_cfg_info.cpp#L632
Added line #L632 was not covered by tests
Loading