open-standards/wai/wai-module-check/spec-tests/README.md
Transaction Science 8150157be3
Some checks failed
WAI operation catalogue / does this change touch it (push) Successful in 14s
wai-ops integer operators / does this change touch it (push) Successful in 16s
repository checks / lockfiles, advisories, tests in CI, workflow hygiene, spec and section references, public text (push) Has been cancelled
WAI operation catalogue / the catalogue and every door · linux (push) Has been cancelled
wai-ops integer operators / macos-arm64 (push) Successful in 1m17s
WAI breaking changes and the conformance runner / WAI breaking · does this change touch WAI (push) Successful in 11s
wai-ops integer operators / independent checker (Python) (push) Successful in 20s
wai-ops integer operators / wasm32-wasip2 (wasmtime) (push) Successful in 35s
wai-ops integer operators / wasm32 under Node (push) Successful in 37s
wai-ops integer operators / linux-x86_64 (push) Successful in 1m1s
WAI breaking changes and the conformance runner / WAI breaking · wire, record and API against main · linux (push) Successful in 31s
WAI breaking changes and the conformance runner / WAI breaking and conform · their tests, and the independent verifiers through wai conform · linux (push) Successful in 3m35s
wai-ops integer operators / linux-aarch64 (push) Successful in 4m3s
wai-module-check: spectest's one script it can't read, named
names.wast holds no invalid or malformed module, and the text parser refuses its
bidirectional controls by design. Any other unread script is a failure.

Co-Authored-By: Claude Opus 5.5 <[email protected]>
2026-11-06 18:25:56 -05:00

906 B

WebAssembly's specification tests

core.tar.xz holds the .wast scripts of test/core of the WebAssembly specification repository (github.com/WebAssembly/spec) at commit 859d3232a55cdbb9d75343a072b05cd0a2172e1a, unchanged. They are under the Apache License 2.0; LICENSE is that directory's licence file, copied unchanged.

CI unpacks them with extract.py, which checks the archive's SHA-256 first, and holds both checkers to them: examples/spectest.rs requires that every script is read, except names.wast, whose bidirectional controls the text parser refuses and which holds no invalid or malformed module; that every invalid or malformed module is refused by R2 and that no valid one is; and differential.mjs requires that the two checkers agree on every module.

A new copy is a reviewed change: replace the archive, and change the commit here and the digest in extract.py together.