Skip to content

Fails to parse valid spectest modules #238

@nagisa

Description

@nagisa

Describe the Bug

walrus will fail to parse some of the valid spec-tests. In particular I found it to fail when parsing some modules in the unreached-valid.wast test:

type mismatch: br_table target labels have different types (at offset 47)

Expected Behavior

Any compliant WebAssembly parser should be able to successfully parse the spec test modules that are intended to pass (module directives) and fail parsing the spec test modules that are intended to fail (assert_invalid).

Actual Behavior

unreached-valid.wast test fails to parse.

Metadata

Metadata

Assignees

No one assigned

    Labels

    bugSomething isn't working

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions