Skip to content

Timeout in spectests #71

@tolauwae

Description

@tolauwae

PR TOPLLab/WARDuino#49 introduced an unidentified bug, leading to timeouts in the spec tests in WARDuino.

44b8b21483d7537e8114d27036ad839c31263bed is the first bad commit
commit 44b8b21483d7537e8114d27036ad839c31263bed
Author: Tom Lauwaerts <tom.lauwaerts@ugent.be>
Date:   Wed Jan 21 11:38:30 2026 +0100

    Fix precision loss integers (#49)
    
    * Split Integers and Floats + use BigInts
    
    * Fix eslint errors

 .eslint.config.mjs                | 22 -------------
 .github/workflows/lint.yml        |  4 +--
 eslint.config.mjs                 | 22 +++++++++++++
 src/debug/WARDuino.ts             |  5 +--
 src/framework/Testee.ts           |  2 +-
 src/framework/scenario/Invoker.ts |  8 ++---
 src/messaging/Message.ts          | 37 +++++++++++++++-------
 src/messaging/Parsers.ts          | 15 ++++-----
 src/sourcemap/Wasm.ts             | 66 ++++++++++++++++++---------------------
 tests/examples/example.ts         |  4 +--
 tests/unit/sourcemap.test.ts      | 31 +++++++++++++-----
 11 files changed, 121 insertions(+), 95 deletions(-)
 delete mode 100644 .eslint.config.mjs
 create mode 100644 eslint.config.mjs

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    Projects

    Status

    In Progress

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions