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 /examples/usercmodule/cexample/examplemodule.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 'examples/usercmodule/cexample/examplemodule.c')
0 files changed, 0 insertions, 0 deletions