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 | |
| parent | e2c1226da4ed1498c0373c6a262f0b782600e2fe (diff) | |
tests/unix: Add coverage test for mp_obj_new_exception_args.
Because it's no longer called anywhere in the code.
| -rw-r--r-- | ports/unix/coverage.c | 3 | ||||
| -rw-r--r-- | tests/unix/extra_coverage.py.exp | 1 |
2 files changed, 4 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 diff --git a/tests/unix/extra_coverage.py.exp b/tests/unix/extra_coverage.py.exp index a41f227be..9c3b036b9 100644 --- a/tests/unix/extra_coverage.py.exp +++ b/tests/unix/extra_coverage.py.exp @@ -58,6 +58,7 @@ TypeError: unsupported types for __divmod__: 'str', 'str' 2 OverflowError: overflow converting long int to machine word OverflowError: overflow converting long int to machine word +ValueError: Warning: test # format float ? |