diff options
Diffstat (limited to 'test/spec/README.md')
| -rw-r--r-- | test/spec/README.md | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/test/spec/README.md b/test/spec/README.md index 319151461..f9f5ecbbc 100644 --- a/test/spec/README.md +++ b/test/spec/README.md @@ -2,10 +2,12 @@ This directory contains tests for the core WebAssembly semantics, as described i 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. -The test suite can be run with the spec interpreter as follows: +To execute all spec tests, run the following command from the binaryen top-level directory: ``` -./run.py --wasm <path-to-wasm-interpreter> +./check.py spec ``` -where the path points to the spec interpreter executable (or a tool that understands similar options). If the binary is in the working directory, this option can be omitted. -In addition, the option `--js <path-to-js-interpreter>` can be given to point to a stand-alone JavaScript interpreter supporting the WebAssembly API. If provided, all tests are also executed in JavaScript. +Individual spec tests may be executed by running the following command from the binaryen top-level directory: +``` +bin/wasm-shell [path to spec test] +``` |