Skip to content

Leverage SpecTests for Instrumentation Testing #160

@ejrgilbert

Description

@ejrgilbert

To have breadth with testing instrumentation, we should integrate with the spectest wast files and have the following logic:

  1. Load wast
  2. Break out each test case (module(s) and assertion(s))
  3. foreach non_alt_mode: Instrument the module(s) with instrumentation that has no side effects, but exercises all logic
    • Add new global(s)
    • Add new local function(s)
    • Instrument some target with logic that calls the function
    • Write to new wast file, one test case per file
    • Run on configured interpreters (all assertions should still pass)

We will also need to have some mechanism to ensure that the instrumented wast actually had some instrumentation logic applied (should have matched and injected at least once).

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions