diff options
author | Damien George <damien.p.george@gmail.com> | 2020-01-23 13:18:34 +1100 |
---|---|---|
committer | Damien George <damien.p.george@gmail.com> | 2020-01-23 13:37:25 +1100 |
commit | 27f41e624c39f661f917c20b58daf6637ada0982 (patch) | |
tree | 94f4ae1db33d4646904f44abcd6b0103f45f62fe /ports/unix/coverage.c | |
parent | e2c1226da4ed1498c0373c6a262f0b782600e2fe (diff) |
tests/unix: Add coverage test for mp_obj_new_exception_args.
Because it's no longer called anywhere in the code.
Diffstat (limited to 'ports/unix/coverage.c')
-rw-r--r-- | ports/unix/coverage.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/ports/unix/coverage.c b/ports/unix/coverage.c index 233c6211e..e4d2d68fc 100644 --- a/ports/unix/coverage.c +++ b/ports/unix/coverage.c @@ -387,6 +387,9 @@ STATIC mp_obj_t extra_coverage(void) { } else { mp_obj_print_exception(&mp_plat_print, MP_OBJ_FROM_PTR(nlr.ret_val)); } + + // call mp_obj_new_exception_args (it's a part of the public C API and not used in the core) + mp_obj_print_exception(&mp_plat_print, mp_obj_new_exception_args(&mp_type_ValueError, 0, NULL)); } // warning |