Skip to content

Support length modifiers in printf formatting

Codecov / codecov/patch failed Mar 19, 2024 in 0s

63.96% of diff hit (target 79.64%)

View this Pull Request on Codecov

63.96% of diff hit (target 79.64%)

Annotations

Check warning on line 111 in src/goto-programs/printf_formatter.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-programs/printf_formatter.cpp#L111 

Added line #L111 was not covered by tests

Check warning on line 130 in src/goto-programs/printf_formatter.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-programs/printf_formatter.cpp#L128-L130 

Added lines #L128 - L130 were not covered by tests

Check warning on line 143 in src/goto-programs/printf_formatter.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-programs/printf_formatter.cpp#L141-L143 

Added lines #L141 - L143 were not covered by tests

Check warning on line 162 in src/goto-programs/printf_formatter.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-programs/printf_formatter.cpp#L162 

Added line #L162 was not covered by tests

Check warning on line 188 in src/goto-programs/printf_formatter.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-programs/printf_formatter.cpp#L188 

Added line #L188 was not covered by tests

Check warning on line 194 in src/goto-programs/printf_formatter.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-programs/printf_formatter.cpp#L193-L194 

Added lines #L193 - L194 were not covered by tests

Check warning on line 238 in src/goto-programs/printf_formatter.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-programs/printf_formatter.cpp#L238 

Added line #L238 was not covered by tests

Check warning on line 242 in src/goto-programs/printf_formatter.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-programs/printf_formatter.cpp#L242 

Added line #L242 was not covered by tests

Check warning on line 244 in src/goto-programs/printf_formatter.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-programs/printf_formatter.cpp#L244 

Added line #L244 was not covered by tests

Check warning on line 246 in src/goto-programs/printf_formatter.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-programs/printf_formatter.cpp#L246 

Added line #L246 was not covered by tests

Check warning on line 248 in src/goto-programs/printf_formatter.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-programs/printf_formatter.cpp#L248 

Added line #L248 was not covered by tests

Check warning on line 264 in src/goto-programs/printf_formatter.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-programs/printf_formatter.cpp#L264 

Added line #L264 was not covered by tests

Check warning on line 266 in src/goto-programs/printf_formatter.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-programs/printf_formatter.cpp#L266 

Added line #L266 was not covered by tests

Check warning on line 268 in src/goto-programs/printf_formatter.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-programs/printf_formatter.cpp#L268 

Added line #L268 was not covered by tests

Check warning on line 276 in src/goto-programs/printf_formatter.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-programs/printf_formatter.cpp#L271-L276 

Added lines #L271 - L276 were not covered by tests

Check warning on line 278 in src/goto-programs/printf_formatter.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-programs/printf_formatter.cpp#L278 

Added line #L278 was not covered by tests

Check warning on line 286 in src/goto-programs/printf_formatter.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-programs/printf_formatter.cpp#L283-L286 

Added lines #L283 - L286 were not covered by tests

Check warning on line 289 in src/goto-programs/printf_formatter.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-programs/printf_formatter.cpp#L288-L289 

Added lines #L288 - L289 were not covered by tests

Check warning on line 292 in src/goto-programs/printf_formatter.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-programs/printf_formatter.cpp#L291-L292 

Added lines #L291 - L292 were not covered by tests

Check warning on line 295 in src/goto-programs/printf_formatter.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-programs/printf_formatter.cpp#L295 

Added line #L295 was not covered by tests

Check warning on line 297 in src/goto-programs/printf_formatter.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-programs/printf_formatter.cpp#L297 

Added line #L297 was not covered by tests

Check warning on line 301 in src/goto-programs/printf_formatter.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-programs/printf_formatter.cpp#L300-L301 

Added lines #L300 - L301 were not covered by tests

Check warning on line 310 in src/goto-programs/printf_formatter.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/goto-programs/printf_formatter.cpp#L309-L310 

Added lines #L309 - L310 were not covered by tests
View more details on Codecov