1
2
3
4
5
6
7
8
9
10
11
12
13
|
This directory contains tests for the core WebAssembly semantics, as described in [Semantics.md](https://github.com/WebAssembly/design/blob/master/Semantics.md) and specified by the [spec interpreter](https://github.com/WebAssembly/spec/blob/master/interpreter).
Tests are written in the [S-Expression script format](https://github.com/WebAssembly/spec/blob/master/interpreter/README.md#s-expression-syntax) 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]
```
|
