This directory contains tests for the core WebAssembly semantics, as described in Semantics.md and specified by the spec interpreter.

Tests are written in the S-Expression script format defined by the interpreter.

To execute all spec tests, run the following command from the binaryen top-level directory:

./check.py spec

Individual spec tests may be executed by running the following command from the binaryen top-level directory:

bin/wasm-shell [path to spec test]