goto-analyzer: --show-local-bitvector
12.50% of diff hit (target 78.38%)
View this Pull Request on Codecov
12.50% of diff hit (target 78.38%)
Annotations
Check warning on line 146 in src/goto-analyzer/goto_analyzer_parse_options.cpp
codecov / codecov/patch
src/goto-analyzer/goto_analyzer_parse_options.cpp#L144-L146
Added lines #L144 - L146 were not covered by tests
Check warning on line 584 in src/goto-analyzer/goto_analyzer_parse_options.cpp
codecov / codecov/patch
src/goto-analyzer/goto_analyzer_parse_options.cpp#L583-L584
Added lines #L583 - L584 were not covered by tests
Check warning on line 592 in src/goto-analyzer/goto_analyzer_parse_options.cpp
codecov / codecov/patch
src/goto-analyzer/goto_analyzer_parse_options.cpp#L586-L592
Added lines #L586 - L592 were not covered by tests
Check warning on line 595 in src/goto-analyzer/goto_analyzer_parse_options.cpp
codecov / codecov/patch
src/goto-analyzer/goto_analyzer_parse_options.cpp#L595
Added line #L595 was not covered by tests