diff options
author | Jeff Epler <jepler@gmail.com> | 2025-06-24 10:08:19 +0200 |
---|---|---|
committer | Damien George <damien@micropython.org> | 2025-07-25 10:58:24 +1000 |
commit | db7e93591702a8817bf6f9adde728698546ef7a2 (patch) | |
tree | 472a2a2373159118b0c9d7ec7a37dab45abd15fd /shared/netutils/trace.c | |
parent | 61006d80169ea4dc12b62b835d41b9c55f673111 (diff) |
unix/coverage: Cast values to int for format printing.
During the coverage test, all the values encountered are within the range
of `%d`.
These locations were found using an experimental gcc plugin for `mp_printf`
error checking.
Signed-off-by: Jeff Epler <jepler@gmail.com>
Diffstat (limited to 'shared/netutils/trace.c')
0 files changed, 0 insertions, 0 deletions