Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Improve printf formatter #8205

Merged
merged 2 commits into from
Mar 19, 2024

Support length modifiers in printf formatting

00ae5a8
Select commit
Loading
Failed to load commit list.
Merged

Improve printf formatter #8205

Support length modifiers in printf formatting
00ae5a8
Select commit
Loading
Failed to load commit list.
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