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]