1WABT(1)                   BSD General Commands Manual                  WABT(1)
2

NAME

4     spectest-interp — read a Spectest JSON file, and run its tests in the in‐
5     terpreter
6

SYNOPSIS

8     spectest-interp [options] file
9

DESCRIPTION

11     spectest-interp reads a Spectest JSON file, and runs its tests in the in‐
12     terpreter.
13
14     The options are as follows:
15
16     -v, --verbose
17             Use multiple times for more info
18
19     --help  Print this help message
20
21     --enable-exceptions
22             Enable Experimental exception handling
23
24     --disable-mutable-globals
25             Disable Import/export mutable globals
26
27     --enable-saturating-float-to-int
28             Enable Saturating float-to-int operators
29
30     --enable-sign-extension
31             Enable Sign-extension operators
32
33     --disable-simd
34             Disable SIMD support
35
36     --enable-threads
37             Enable Threading support
38
39     --enable-multi-value
40             Enable Multi-value
41
42     --enable-tail-call
43             Enable Tail-call support
44
45     -V, --value-stack-size=SIZE
46             Size in elements of the value stack
47
48     -C, --call-stack-size=SIZE
49             Size in elements of the call stack
50
51     -t, --trace
52             Trace execution
53

EXAMPLES

55     Parse test.json and run the spec tests
56
57           $ spectest-interp test.json
58

SEE ALSO

60     wasm-interp(1), wasm-objdump(1), wasm-opcodecnt(1), wasm-strip(1),
61     wasm-validate(1), wasm2c(1), wasm2wat(1), wast2json(1), wat-desugar(1),
62     wat2wasm(1)
63

BUGS

65     If you find a bug, please report it at
66     https://github.com/WebAssembly/wabt/issues
67
68BSD                              July 21, 2022                             BSD