# 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.