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

Tests are written in the S-Expression script formatgithub 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]