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
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]>
15 lines
906 B
Markdown
15 lines
906 B
Markdown
# 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.
|