Skip to content

[spectec] Backport missing instantiation checks to Wasm 1.0/2.0 specs - #2248

Open
rossberg wants to merge 1 commit into
mainfrom
fix.2245
Open

[spectec] Backport missing instantiation checks to Wasm 1.0/2.0 specs#2248
rossberg wants to merge 1 commit into
mainfrom
fix.2245

Conversation

@rossberg

@rossberg rossberg commented Sep 9, 2026

Copy link
Copy Markdown
Member

Fixes #2245.

@f52985, the same side conditions that work fine for the Wasm 3 spec fail the interpreter when added to Wasm 1 and 2. I see something like this for all tests:

- Test failed at ../test-interpreter/spec-test-2/unreachable.wast:3.1-219.2 ($instantiate: Backend_interpreter.Exception.FreeVar("The key 'xt_I*' is not in the map: ...

Can you please have a look?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

[spectec] Wasm 1.0: $instantiate missing premises

1 participant