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     --help  Print a help message
17
18     --version
19             Print version information
20
21     -v, --verbose
22             Use multiple times for more info
23
24     --enable-exceptions
25             Enable Experimental exception handling
26
27     --disable-mutable-globals
28             Disable Import/export mutable globals
29
30     --disable-saturating-float-to-int
31             Disable Saturating float-to-int operators
32
33     --disable-sign-extension
34             Disable Sign-extension operators
35
36     --disable-simd
37             Disable SIMD support
38
39     --enable-threads
40             Enable Threading support
41
42     --enable-function-references
43             Enable Typed function references
44
45     --disable-multi-value
46             Disable Multi-value
47
48     --enable-tail-call
49             Enable Tail-call support
50
51     --disable-bulk-memory
52             Disable Bulk-memory operations
53
54     --disable-reference-types
55             Disable Reference types (externref)
56
57     --enable-annotations
58             Enable Custom annotation syntax
59
60     --enable-code-metadata
61             Enable Code metadata
62
63     --enable-gc
64             Enable Garbage collection
65
66     --enable-memory64
67             Enable 64-bit memory
68
69     --enable-multi-memory
70             Enable Multi-memory
71
72     --enable-extended-const
73             Enable Extended constant expressions
74
75     --enable-all
76             Enable all features
77
78     -V, --value-stack-size=SIZE
79             Size in elements of the value stack
80
81     -C, --call-stack-size=SIZE
82             Size in elements of the call stack
83
84     -t, --trace
85             Trace execution
86

EXAMPLES

88     Parse test.json and run the spec tests
89
90           $ spectest-interp test.json
91

SEE ALSO

93     wasm-decompile(1), wasm-interp(1), wasm-objdump(1), wasm-opcodecnt(1),
94     wasm-strip(1), wasm-validate(1), wasm2c(1), wasm2wat(1), wast2json(1),
95     wat-desugar(1), wat2wasm(1)
96

BUGS

98     If you find a bug, please report it at
99     https://github.com/WebAssembly/wabt/issues
100
101BSD                            February 8, 2023                            BSD
Impressum