WABT(1) | General Commands Manual | WABT(1) |
spectest-interp
—
read a Spectest JSON file, and run its tests in the
interpreter
spectest-interp |
[options] file |
spectest-interp
Reads a Spectest JSON
file, and runs its tests in the interpreter.
The options are as follows:
--help
--version
-v
,
--verbose
--enable-exceptions
--disable-mutable-globals
--disable-saturating-float-to-int
--disable-sign-extension
--disable-simd
--enable-threads
--enable-function-references
--disable-multi-value
--enable-tail-call
--disable-bulk-memory
--disable-reference-types
--enable-annotations
--enable-code-metadata
--enable-gc
--enable-memory64
--enable-multi-memory
--enable-extended-const
--enable-all
-V
,
--value-stack-size=SIZE
-C
,
--call-stack-size=SIZE
-t
,
--trace
Parse test.json and run the spec tests
$ spectest-interp
test.json
wasm-decompile(1), wasm-interp(1), wasm-objdump(1), wasm-stats(1), wasm-strip(1), wasm-validate(1), wasm2c(1), wasm2wat(1), wast2json(1), wat-desugar(1), wat2wasm(1)
If you find a bug, please report it at
https://github.com/WebAssembly/wabt/issues.
January 31, 2025 | Debian |