diff options
| author | Angus Gratton <angus@redyak.com.au> | 2024-01-12 09:47:48 +1100 |
|---|---|---|
| committer | Damien George <damien@micropython.org> | 2024-01-17 08:02:16 +1100 |
| commit | bdaea866b712c85d3bffaaae147c9b3470a4f896 (patch) | |
| tree | 548e19b7ac8eafd623b83ca95dcd3d33ff4d9aab /tests/unix/extra_coverage.py | |
| parent | efa54c27b9eab3b61319e7f16d05db0ac3b6bc14 (diff) | |
rp2/mpthreadport: Make result of thread.get_ident() a non-zero integer.
CPython says thread identifier is a "nonzero integer", so rp2 should use a
1-indexed core number rather than 0-indexed. This fixes the
thread/thread_ident1 test failure on rp2 port.
Unfortunately this may be a breaking change for rp2 code which makes a
hard-coded comparison of thread identifier to 0 or 1.
This work was funded through GitHub Sponsors.
Signed-off-by: Angus Gratton <angus@redyak.com.au>
Diffstat (limited to 'tests/unix/extra_coverage.py')
0 files changed, 0 insertions, 0 deletions