Tests are written in the S-Expression script format defined by the interpreter.
The test suite can be run with the spec interpreter as follows:
./run.py --wasm <path-to-wasm-interpreter>
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