2744 Commits

Author	SHA1	Message	Date
Damien George	af745a5982	tests/net_inet/tls_num_errors.py: Make alloc of emg-exc-buf optional. ... The unix port doesn't have `micropython.alloc_emergency_exception_buf()` but it's still possible to run and pass this test. So make that call optional. Signed-off-by: Damien George <damien@micropython.org>	2025-08-28 23:19:20 +10:00
Damien George	dbbc7d9667	tests/run-perfbench.py: Change -p/-d arguments to -t. ... And the existing "-t" option is changed to "-m" (shorthand for the "--diff-time" option). Signed-off-by: Damien George <damien@micropython.org>	2025-08-28 23:14:55 +10:00
Damien George	bf185c37ed	tests/run-natmodtests.py: Change -p/-d arguments to -t. ... Following the similar change to `run-tests.py` and `run-multitests.py`. What was previously, eg, `-p -d /dev/ttyACM0` is now `-t a0`. Signed-off-by: Damien George <damien@micropython.org>	2025-08-28 23:13:40 +10:00
Damien George	f62c614d3e	tests/run-multitests.py: Change -i argument to -t. ... Back in commit 8978102f35 (see PR #16111) the `run-tests.py` script was changed to use an improved way of selecting the test instance, eg: $ ./run-tests.py -t a0 that would run on /dev/ttyACM0. This has been a very nice improvement, makes it easier to specify the target. This commit updates `run-multitests.py` to use the same scheme. It previously used `-i` but now that's changed to `-t`. Signed-off-by: Damien George <damien@micropython.org>	2025-08-28 23:11:57 +10:00
Damien George	7a8ae72640	tests/run-tests.py: Factor code for device shortcuts to a function. ... So it can be reused by other test runners. Signed-off-by: Damien George <damien@micropython.org>	2025-08-28 23:11:30 +10:00
Jeff Epler	1671977ca4	py/parsenum: Fix parsing LLONG_MIN in longlong configuration. ... Re-organize `mp_parse_num_integer()` (for longlong) slightly so that the most negative 64-bit integer can be parsed. Fixes issue #17932. Signed-off-by: Jeff Epler <jepler@gmail.com>	2025-08-28 11:31:03 +10:00
Alessandro Gatti	c33a02fe6d	tests/run-tests.py: Enable Arm inlineasm FPU tests if possible. ... This commits lifts the unconditional restriction on inline assembler FPU tests for the Qemu platform, and makes said restriction conditional to the lack of an available floating point unit on the running platform. The Qemu platform supported only emulated machines that could target up to a Cortex-M3, so an ArmV7-M target that had no support for floating point. With the addition of MPS2_AN500 to the list of emulated targets the range was extended to cover up to Cortex-M7, so a floating point unit may possibly be available and thus able to run the FPU inlineasm tests. For that, the test runner was changed to detect the running architecture when checking the target capabilities; if the target reports its MicroPython architecture to be either "armv7emsp" or "armv7emdp" (providing single-precision and double-precision floating point unit support respectively) then the FPU-only inline tests are not put into the blocked tests list. Signed-off-by: Alessandro Gatti <a.gatti@frob.it>	2025-08-26 12:27:21 +10:00
Alessandro Gatti	b0fd0079f4	tests/micropython: Make tests behave in low memory condition. ... This commit changes the "viper_ptr*_store_boundary" tests to make them fail more gracefully in low memory conditions. The original version of the tests compiled viper code blocks on the fly when it needed them, making them fail at runtime on some boards that do not come with enough memory for this test. This clashes with "run-tests.py"'s ability to look for a particular signature to mark tests as skipped due to not enough memory. Now compiled code blocks are generated at the beginning of the test inside an appropriate exception handler. In case of a memory error when pre-compiling a code block, the running test exits reporting a low memory condition to the test runner. This allows to have clean test runs on all platforms when it comes to viper pointer tests. Signed-off-by: Alessandro Gatti <a.gatti@frob.it>	2025-08-26 10:47:17 +10:00
Alessandro Gatti	bd413d3d85	py/asmthumb: Fix T3 encoding of conditional branches. ... This commit fixes the encoding of conditional branch opcodes emitted for ARMv7-M targets, when the emitter decides to use the T3 encoding for said operation. Fields J1 and J2 are now present in the generated opcode word, along with correcting some minor issues in bitmasks and shifts computation. This fixes #17940. Signed-off-by: Alessandro Gatti <a.gatti@frob.it>	2025-08-19 12:40:29 +10:00
Angus Gratton	22deeeb8db	tests/stress/recursive_iternext: Rewrite to find its own limit. ... Necessary on the unix port when running with sanitizers, as the newly increased stack size can run all tests at N=5000 without raising RuntimeError, and increasing N to fix this causes issues on other configurations. This way the test progressively builds a deeper data structure until it fails with RuntimeError. This is theoretically slower, but not noticeably so in reality. Signed-off-by: Angus Gratton <angus@redyak.com.au>	2025-08-19 10:33:40 +10:00
Jeff Epler	0615d13963	py/objringio: Detect incorrect constructor calls. ... ringbuffer.size must be at least 2, and is a 16-bit quantity. This fixes several cases including the one the fuzzer discovered, which would lead to a fatal signal when accessing the object. Fixes issue #17847. Signed-off-by: Jeff Epler <jepler@gmail.com>	2025-08-15 01:21:25 +10:00
Jeff Epler	e15219800e	extmod/modframebuf: Fix crash in scroll() for large inputs. ... If mp_int_t is wider than int, then the tests such as `xend < 0` can fail even when the amount of scrolling requested is out of range. This resulted in a segmentation fault when attempting an out-of-bounds access to the framebuffer. Signed-off-by: Jeff Epler <jepler@gmail.com>	2025-08-15 01:16:24 +10:00
Damien George	2bba507148	tests: Require SSL certificate file to be available for test to run. ... Previously, any test needing an SSL certificate file would automatically skip if the file could not be found. But that makes it too easy to accidentally skip tests. Instead, change it so that the test fails if the certificate file doesn't exist. That matches, for example, the fact that the test fails if networking (LAN, WiFi) is not active. Signed-off-by: Damien George <damien@micropython.org>	2025-08-15 01:03:00 +10:00
Damien George	a279c64046	tests: Add .native.exp output files for tests that differ with native. ... Signed-off-by: Damien George <damien@micropython.org>	2025-08-15 00:36:27 +10:00
Damien George	3c72c3a1e6	tests/micropython/opt_level_lineno.py: Force test func to use bytecode. ... So that the test can run the same on all targets when used with the native emitter. Signed-off-by: Damien George <damien@micropython.org>	2025-08-15 00:36:27 +10:00
Damien George	95d1794afd	tests/misc/print_exception.py: Use "raise e" instead of no-arg "raise". ... This allows the test to run with the native emitter. The test semantics remain the same. Signed-off-by: Damien George <damien@micropython.org>	2025-08-15 00:36:27 +10:00
Damien George	0f5f6484a2	tests/run-tests.py: Add support for .native.exp expected output files. ... There are currently a few tests that are excluded when using the native emitter because they test printing of exception tracebacks, which includes line numbers. And the native emitter doesn't store line numbers, so gets these tests wrong. But we'd still like to run these tests using the native emitter, because they test useful things even if the line number info is not in the traceback (eg that threads which crash print out their exception). This commit adds support for native-specific .exp files, which are of the form `<test>.py.native.exp`. If such an .exp file exists then it take precedence over any normal `<test>.py.exp` file. (Actually, the implementation here is general enough that it also supports `<test>.py.bytecode.exp` as well, if bytecode ever needs a specific exp file.) Signed-off-by: Damien George <damien@micropython.org>	2025-08-15 00:36:27 +10:00
Damien George	0cb2c69b3f	tests/misc/rge_sm.py: Remove unused code from the test. ... This cleans up the test to remove all unused code, making it smaller, a bit faster to deploy to a target to run, and also use less RAM on the target (which may help it run on targets that are just slightly out of memory running it). Signed-off-by: Damien George <damien@micropython.org>	2025-08-15 00:30:41 +10:00
Damien George	54e6cfc6e3	tests/basics: Skip tests of io module individually using SKIP. ... Instead of using a feature check. This is more consistent with how other optional modules are skipped. Signed-off-by: Damien George <damien@micropython.org>	2025-08-15 00:23:16 +10:00
Damien George	e2744ce679	tests/run-tests.py: Autodetect if the target has unicode support. ... The unicode tests are now run on all targets that enable unicode. And other unicode tests (namely `extmod/json_loads.py`) are now properly skipped if the target doesn't have unicode support. Signed-off-by: Damien George <damien@micropython.org>	2025-08-15 00:23:16 +10:00
Damien George	1db71f9e55	tests/run-tests.py: Generalise addition of port specific test directory. ... Signed-off-by: Damien George <damien@micropython.org>	2025-08-15 00:23:16 +10:00
Damien George	6565827955	tests/run-tests.py: Always include stress/ tests directory in tests. ... Ports that now run the stress tests, that didn't prior to this commit are: cc3200, esp8266, minimal, nrf, renesas-ra, samd, qemu, webassembly. Signed-off-by: Damien George <damien@micropython.org>	2025-08-15 00:23:16 +10:00
Damien George	f493075d88	tests/run-tests.py: Automatically include float tests when possible. ... This simplifies the code by removing the explicit addition of the "float/" test directory for certain targets. It also means the tests won't be added incorrectly, eg on a unix build without float. Signed-off-by: Damien George <damien@micropython.org>	2025-08-15 00:23:16 +10:00
Alessandro Gatti	b1d5c656de	tests/micropython: Remove big ints dependence for viper boundary tests. ... This commit provides an implementation for viper boundary tests that can work even without big int support. Since it uses a fixed-size buffer to hold values to work with, this should work on any platform as long as its integers are at least 32 bits wide, regardless its configuration on how big integers can get. Signed-off-by: Alessandro Gatti <a.gatti@frob.it>	2025-08-11 16:46:15 +10:00
Jared Hancock	14ccdeb4d7	extmod/modre: Add support for start- and endpos. ... Pattern objects have two additional parameters for the ::search and ::match methods to define the starting and ending position of the subject within the string to be searched. This allows for searching a sub-string without creating a slice. However, one caveat of using the start-pos rather than a slice is that the start anchor (`^`) remains anchored to the beginning of the text. Signed-off-by: Jared Hancock <jared@greezybacon.me>	2025-08-11 14:11:56 +10:00
Damien George	1401fdb8b3	tests/run-tests.py: Run tests-with-regex-output as normal tests. ... Some tests (currently given by the `special_tests` list) have output which must be mached via a regex, because it can change from run to run (eg the address of an object is printed). These tests are currently classified as `is_special` in the test runner, which means they get special treatment. In particular they don't set the emitter as specified by `args.emit`. That means these tests do not run via .mpy or using the native emitter, even if those options are given on the command line. This commit fixes that by considering `is_special` as different to `tests_with_regex_output`. The former is used for things like target feature detection (which are not really tests) and when extra command line options need to be passed to the unix micropython executable. The latter (now called `tests_with_regex_output`) are specifically for tests that have output to be matched via regex. The `thread_exc2.py` test now needs to be excluded when running using the native emitter, because the native emitter doesn't print traceback info. And the `sys_settrace_cov.py` test needs to be excluded because set-trace output is different with the native emitter. Signed-off-by: Damien George <damien@micropython.org>	2025-08-10 11:40:54 +10:00
Damien George	c35427cbdb	tests/run-tests.py: Move tests to skip with native emitter to a list. ... This makes `run-tests.py` a little more organised, by putting all the tests-to-skip-when-using-the-native-emitter in a dedicated list. This should make it easier to maintain the list, and understand why a test is there. Signed-off-by: Damien George <damien@micropython.org>	2025-08-10 11:25:38 +10:00
Angus Gratton	907c5e9976	tests/extmod_hardware: Add basic tests for machine.Counter and Encoder. ... These don't test any advanced features, just the basics. This work was funded through GitHub Sponsors. Signed-off-by: Angus Gratton <angus@redyak.com.au>	2025-08-02 00:03:03 +10:00
Damien George	277b615f26	tests/multi_extmod: Add I2CTarget multi tests. ... These require two boards wired together, SCL-SCL and SDA-SDA. Signed-off-by: Damien George <damien@micropython.org>	2025-08-01 23:03:17 +10:00
Damien George	6558d519a2	tests/extmod_hardware: Add self unittest for I2CTarget. ... This test uses a SoftI2C controller wired to an I2CTarget on the one board, and tests all functionality of the I2CTarget class. Signed-off-by: Damien George <damien@micropython.org>	2025-08-01 23:03:17 +10:00
Chris Webb	953da2080e	tests/micropython: Test that viper offset stores don't clobber base reg. ... When running the viper boundary tests, assert that the offset stores don't clobber the base register, which is saved and temporarily modified on some architectures. Signed-off-by: Chris Webb <chris@arachsys.com>	2025-08-01 14:17:49 +10:00
Yoctopuce dev	69ead7d98e	py/parse: Add support for math module constants and float folding. ... Add a new MICROPY_COMP_CONST_FLOAT feature, enabled by in mpy-cross and when compiling with MICROPY_CONFIG_ROM_LEVEL_CORE_FEATURES. The new feature leverages the code of MICROPY_COMP_CONST_FOLDING to support folding of floating point constants. If MICROPY_COMP_MODULE_CONST is defined as well, math module constants are made available at compile time. For example: _DEG_TO_GRADIANT = const(math.pi / 180) _INVALID_VALUE = const(math.nan) A few corner cases had to be handled: - The float const folding code should not fold expressions resulting into complex results, as the mpy parser for complex immediates has limitations. - The constant generation code must distinguish between -0.0 and 0.0, which are different even if C consider them as ==. This change removes previous limitations on the use of `const()` expressions that would result in floating point number, so the test cases of micropython/const_error have to be updated. Additional test cases have been added to cover the new repr() code (from a previous commit). A few other simple test cases have been added to handle the use of floats in `const()` expressions, but the float folding code itself is also tested when running general float test cases, as float expressions often get resolved at compile-time (with this change). Signed-off-by: Yoctopuce dev <dev@yoctopuce.com>	2025-08-01 13:35:44 +10:00
Damien George	947d5448b4	tests/cpydiff: Remove passing types_float_rounding test. ... Since commit dbbaa959c8, this test now produces the same output on MicroPython as CPython does, namely -1e+01. Signed-off-by: Damien George <damien@micropython.org>	2025-08-01 11:13:12 +10:00
Yoctopuce dev	dbbaa959c8	py/formatfloat: Improve accuracy of float formatting code. ... Following discussions in PR #16666, this commit updates the float formatting code to improve the `repr` reversibility, i.e. the percentage of valid floating point numbers that do parse back to the same number when formatted by `repr` (in CPython it's 100%). This new code offers a choice of 3 float conversion methods, depending on the desired tradeoff between code size and conversion precision: - BASIC method is the smallest code footprint - APPROX method uses an iterative method to approximate the exact representation, which is a bit slower but but does not have a big impact on code size. It provides `repr` reversibility on >99.8% of the cases in double precision, and on >98.5% in single precision (except with REPR_C, where reversibility is 100% as the last two bits are not taken into account). - EXACT method uses higher-precision floats during conversion, which provides perfect results but has a higher impact on code size. It is faster than APPROX method, and faster than the CPython equivalent implementation. It is however not available on all compilers when using FLOAT_IMPL_DOUBLE. Here is the table comparing the impact of the three conversion methods on code footprint on PYBV10 (using single-precision floats) and reversibility rate for both single-precision and double-precision floats. The table includes current situation as a baseline for the comparison: PYBV10 REPR_C FLOAT DOUBLE current = 364688 12.9% 27.6% 37.9% basic = 364812 85.6% 60.5% 85.7% approx = 365080 100.0% 98.5% 99.8% exact = 366408 100.0% 100.0% 100.0% Signed-off-by: Yoctopuce dev <dev@yoctopuce.com>	2025-08-01 00:47:33 +10:00
Damien George	ffa98cb014	webassembly/proxy_js: Reuse JsProxy ref if object matches. ... This reduces memory use by reusing objects, and improves identity/equality relationships of JavaScript objects on the Python side. In 77bd8fe5b8 PyProxy's were reused when the same Python object was proxied across to JavaScript. This commit does the same thing but for JsProxy's going from JS to Python. If an existing JsProxy reference exists for the JS object about to be proxied across, then it's reused. This helps reduce the number of alive objects (memory use), and, more importantly, improves equality relationships of JavaScript objects on the Python side. Eg we now get, on the Python side: import js print(js.Object == js.Object) that prints True. Previously it was False. Note that this change does not make identity work with `is`, for example `js.Object is js.Object` is actually False. With more work that could be made True but for now we leave that as-is. The behaviour with this commit matches Pyodide semantics. Signed-off-by: Damien George <damien@micropython.org>	2025-07-31 11:40:50 +10:00
Angus Gratton	fdbd23268d	tests/run-multitests.py: Escape encoding errors instead of crashing. ... It's possible for a test to output non-ASCII characters (for example, due to a hard fault or serial noise or memory corruption). Rather than crashing the test runner, backslash escape those characters and treat them as program output. Refactors the string encoding step to a single helper to avoid copy-paste. This work was funded through GitHub Sponsors. Signed-off-by: Angus Gratton <angus@redyak.com.au>	2025-07-31 11:17:13 +10:00
Angus Gratton	4bdf2a2dc0	tests/multi_bluetooth: Extend the deep sleep test timeout. ... As per comment, if a boot.py is present that connects to Wi-Fi then waking can take a little longer. This work was funded through GitHub Sponsors. Signed-off-by: Angus Gratton <angus@redyak.com.au>	2025-07-31 11:15:03 +10:00
Damien George	ff6491ded0	tests/run-natmodtests.py: Automatically skip tests that are too large. ... This follows a similar change made for `run-tests.py` in commit 229104558f. The change here uses the same logic to detect if a natmod test is too big for the target (eg overflows (I)RAM loading the native .mpy), by printing "START TEST" at the start of the test. Typical output is now something like this: ... pass extmod/random_basic.py pass extmod/random_extra_float.py pass extmod/random_extra.py SKIP extmod/random_seed_default.py LRGE extmod/re1.py SKIP extmod/re_debug.py pass extmod/re_error.py pass extmod/re_group.py pass extmod/re_groups.py ... and the tests that are too large are reported at the end, and written to the `_result.json` file. Signed-off-by: Damien George <damien@micropython.org>	2025-07-31 11:07:50 +10:00
TianShuang Ke	ca9916968c	esp32: Add support for ESP32-C2 (aka ESP8684). ... Includes: esp32/esp32c2: Adapt to target chip ESP32C2. esp32/esp32c2: Fix heap size is too small to enable Bluetooth. Signed-off-by: TianShuangKe <qinyun575@gmail.com> Signed-off-by: Angus Gratton <angus@redyak.com.au>	2025-07-30 10:51:29 +10:00
Anson Mansfield	88cb6bc818	tests/run-internalbench.py: Allow running internalbench on hardware. ... Signed-off-by: Anson Mansfield <amansfield@mantaro.com>	2025-07-29 11:49:10 +10:00
Anson Mansfield	b9d6d6af4b	tests/internal_bench/var: Benchmark descriptor access. ... Signed-off-by: Anson Mansfield <amansfield@mantaro.com>	2025-07-29 10:08:53 +10:00
Anson Mansfield	c3e77ad6db	tests/internal_bench/class_create: Benchmark class creation. ... Signed-off-by: Anson Mansfield <amansfield@mantaro.com>	2025-07-29 10:08:53 +10:00
Anson Mansfield	82db5c81e0	tests/basics: Add tests for PEP487 __set_name__. ... Including the stochastic tests needed to guarantee sensitivity to the potential iterate-while-modifying hazard a naive implementation might have. Signed-off-by: Anson Mansfield <amansfield@mantaro.com>	2025-07-29 09:41:10 +10:00
Yoctopuce dev	3a72f95919	py/objint_longlong: Fix longlong interoperability with floats. ... Current longlong implementation does not allow a float as RHS of mathematic operators, as it lacks the delegation code present in mpz. Signed-off-by: Yoctopuce dev <dev@yoctopuce.com>	2025-07-29 01:14:35 +10:00
Yoctopuce dev	3c69277ba9	py/objint_longlong: Fix overflow check in mp_obj_int_get_checked. ... This is to fix an outstanding TODO. The test cases is using a range as this will exist in all builds, but `mp_obj_get_int` is used in many different parts of code where an overflow is more likely to occur. Signed-off-by: Yoctopuce dev <dev@yoctopuce.com>	2025-07-29 00:27:01 +10:00
Jeff Epler	062e82a7cd	py/objint_mpz: Fix pow3 where third argument is zero. ... This finding is based on fuzzing MicroPython. I manually minimized the test case it provided. Signed-off-by: Jeff Epler <jepler@gmail.com>	2025-07-28 23:58:46 +10:00
Angus Gratton	096ff8b9ee	tests/micropython: Rename viper boundary tests that depend on big int. ... These tests all depend on generating arbitrarily long (>64-bit) integers. It would be possible to have these tests work in this case I think, as the results are always masked to shorter values. But quite fiddly. So just rename them so they are automatically skipped if the target doesn't have big int support. This work was funded through GitHub Sponsors. Signed-off-by: Angus Gratton <angus@redyak.com.au>	2025-07-24 15:50:34 +10:00
Damien George	3185bb5827	py/obj: Add new type flag to indicate subscr accepts slice-on-stack. ... The recently merged 5e9189d6d1 now allows temporary slices to be allocated on the C stack, which is much better than allocating them on the GC heap. Unfortunately there are cases where the C-allocated slice can escape and be retained as an object, which leads to crashes (because that object points to the C stack which now has other values on it). The fix here is to add a new `MP_TYPE_FLAG_SUBSCR_ALLOWS_STACK_SLICE`. Native types should set this flag if their subscr method is guaranteed not to hold on to a reference of the slice object. Fixes issue #17733 (see also #17723). Signed-off-by: Damien George <damien@micropython.org>	2025-07-24 14:55:34 +10:00
Damien George	45aa65b67d	webassembly/objjsproxy: Fix binding of self to JavaScript methods. ... Fixes a bug in the binding of self/this to JavaScript methods. The new semantics match Pyodide's behaviour, at least for the included tests. Signed-off-by: Damien George <damien@micropython.org>	2025-07-24 14:38:08 +10:00
Damien George	7729e80fdd	all: Go back to using default ruff quote style. ... Commit dc2fcfcc55 seems to have accidentally changed the ruff quote style to "preserve", instead of keeping it at the default which is "double". Put it back to the default and update relevant .py files with this rule. Signed-off-by: Damien George <damien@micropython.org>	2025-07-24 12:48:18 +10:00