This instance will be upgraded to Heptapod 0.31.0 (final) on 2022-05-24 at 14:00 UTC+2 (a few minutes of down time)

  • alex@thinkpad's avatar
    QEMU tests: found a way to get deterministic execution (icount option) · 2d1d5d538420
    alex@thinkpad authored
    - reworked the call/return trace tests to also run on main firmware (with -icount)
    - fixme: CF models do not have deterministic execution, even with -icount
    - fromutility tests also enabled on CF models (IDC only)
    - "first interrupt" test replaced with full call/return trace on main firmware
    - removed "sorted IDC" tests (the regular IDC + call/return trace tests are much stronger)
    branch : qemu
calls-main.md5 208 Bytes