• Damien George's avatar
    qemu-arm: Rework to provide a REPL and run tests via a pty serial port. · d9a0fdda
    Damien George authored
    Currently, the qemu-arm (and qemu-riscv) port has two build modes:
    - a simple test that executes a Python string; and
    - a full test that uses tinytest to embed all tests within the firmware,
      then executes that and captures the output.
    
    This is very different to all the other ports.  A difficulty with using
    tinytest is that with the large number of tests the firmware overflows its
    virtual flash size.  It's also hard to run tests via .mpy files and with
    the native emitter.  Being different to the other ports also means an extra
    burden on maintenance.
    
    This commit reworks the qemu-arm port so that it has a single build target
    that creates a standard firmware which has a REPL.  When run under
    qemu-system-arm, the REPL acts like any other bare-metal port, complete
    with soft reset (use machine.reset() to turn it off and exit
    qemu-system-arm).
    
    This approach gives many benefits:
    - allows playing with a REPL without hardware;
    - allows running the test suite as it would on a bare-metal board, by
      making qemu-system-arm redirect the UART serial of the virtual device to
      a /dev/pts/xx file, and then running run-tests.py against that serial
      device;
    - skipping tests is now done via the logic in `run-tests.py` and no longer
      needs multiple places to define which tests to skip
      (`tools/tinytest-codegen.py`, `ports/qemu-arm/tests_profile.txt` and also
      `tests/run-tests.py`);
    - allows testing/using mpremote with the qemu-arm port.
    
    Eventually the qemu-riscv port would have a similar change.
    
    Prior to this commit the test results were:
    
        743 tests ok.  (121 skipped)
    
    With this commit the test results are:
    
        753 tests performed (22673 individual testcases)
        753 tests passed
        138 tests skipped
    
    More tests are skipped because more are included in the run. But overall
    more tests pass.
    Signed-off-by: default avatarDamien George <damien@micropython.org>
    d9a0fdda
main.c 2.38 KB