WABT(1) (original) (raw)
NAME
spectest-interp —read a Spectest JSON file, and run its tests in the interpreter
SYNOPSIS
| spectest-interp | [options] file |
|---|
DESCRIPTION
spectest-interp Reads a Spectest JSON file, and runs its tests in the interpreter.
The options are as follows:
Print a help message
Print version information
-v,--verbose
Use multiple times for more info
Enable Experimental exception handling
Disable Import/export mutable globals
--disable-saturating-float-to-int
Disable Saturating float-to-int operators
Disable Sign-extension operators
Disable SIMD support
Enable Threading support
Enable Typed function references
Disable Multi-value
Enable Tail-call support
Disable Bulk-memory operations
Disable Reference types (externref)
Enable Custom annotation syntax
Enable Code metadata
Enable Garbage collection
Enable 64-bit memory
Enable Multi-memory
Enable Extended constant expressions
Enable all features
-V,--value-stack-size=SIZE
Size in elements of the value stack
-C,--call-stack-size=SIZE
Size in elements of the call stack
-t,--trace
Trace execution
EXAMPLES
Parse test.json and run the spec tests
$ spectest-interp test.json
SEE ALSO
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)
BUGS
If you find a bug, please report it at
https://github.com/WebAssembly/wabt/issues.