22< html >
33< head >
44 < meta charset ="utf-8 "/>
5+ < meta name ="viewport " content ="width=device-width, initial-scale=1.0 "/>
56 < style >
67 table .head , table .foot { width : 100% ; }
78 td .head-rtitle , td .foot-os { text-align : right; }
89 td .head-vol { text-align : center; }
9- div .Pp { margin : 1ex 0ex ; }
10- div .Nd , div .Bf , div .Op { display : inline; }
11- span .Pa , span .Ad { font-style : italic; }
12- span .Ms { font-weight : bold; }
13- dl .Bl-diag > dt { font-weight : bold; }
14- code .Nm , code .Fl , code .Cm , code .Ic , code .In , code .Fd , code .Fn ,
15- code .Cd { font-weight : bold; font-family : inherit; }
10+ .Nd , .Bf , .Op { display : inline; }
11+ .Pa , .Ad { font-style : italic; }
12+ .Ms { font-weight : bold; }
13+ .Bl-diag > dt { font-weight : bold; }
14+ code .Nm , .Fl , .Cm , .Ic , code .In , .Fd , .Fn , .Cd { font-weight : bold;
15+ font-family : inherit; }
1616 </ style >
1717 < title > WABT(1)</ title >
1818</ head >
2727< div class ="manual-text ">
2828< section class ="Sh ">
2929< h1 class ="Sh " id ="NAME "> < a class ="permalink " href ="#NAME "> NAME</ a > </ h1 >
30- < code class ="Nm "> spectest-interp</ code > —
31- < div class ="Nd "> read a Spectest JSON file, and run its tests in the
32- interpreter</ div >
30+ < p class =" Pp " > < code class ="Nm "> spectest-interp</ code > —
31+ < span class ="Nd "> read a Spectest JSON file, and run its tests in the
32+ interpreter</ span > </ p >
3333</ section >
3434< section class ="Sh ">
3535< h1 class ="Sh " id ="SYNOPSIS "> < a class ="permalink " href ="#SYNOPSIS "> SYNOPSIS</ a > </ h1 >
@@ -42,73 +42,96 @@ <h1 class="Sh" id="SYNOPSIS"><a class="permalink" href="#SYNOPSIS">SYNOPSIS</a><
4242</ section >
4343< section class ="Sh ">
4444< h1 class ="Sh " id ="DESCRIPTION "> < a class ="permalink " href ="#DESCRIPTION "> DESCRIPTION</ a > </ h1 >
45- < code class ="Nm "> spectest-interp</ code > reads a Spectest JSON file, and runs its
46- tests in the interpreter.
45+ < p class =" Pp " > < code class ="Nm "> spectest-interp</ code > Reads a Spectest JSON
46+ file, and runs its tests in the interpreter.</ p >
4747< p class ="Pp "> The options are as follows:</ p >
4848< dl class ="Bl-tag ">
49- < dt > < a class ="permalink " href ="#v "> < code class ="Fl " id ="v "> -v</ code > </ a > ,
50- < code class ="Fl "> -</ code > < code class ="Fl "> -verbose</ code > </ dt >
49+ < dt id ="help "> < a class ="permalink " href ="#help "> < code class ="Fl "> --help</ code > </ a > </ dt >
50+ < dd > Print a help message</ dd >
51+ < dt id ="version "> < a class ="permalink " href ="#version "> < code class ="Fl "> --version</ code > </ a > </ dt >
52+ < dd > Print version information</ dd >
53+ < dt id ="v "> < a class ="permalink " href ="#v "> < code class ="Fl "> -v</ code > </ a > ,
54+ < code class ="Fl "> --verbose</ code > </ dt >
5155 < dd > Use multiple times for more info</ dd >
52- < dt > < code class ="Fl "> -</ code > < code class ="Fl "> -help</ code > </ dt >
53- < dd > Print this help message</ dd >
54- < dt > < code class ="Fl "> -</ code > < code class ="Fl "> -enable-exceptions</ code > </ dt >
56+ < dt id ="enable-exceptions "> < a class ="permalink " href ="#enable-exceptions "> < code class ="Fl "> --enable-exceptions</ code > </ a > </ dt >
5557 < dd > Enable Experimental exception handling</ dd >
56- < dt > < code class ="Fl " > - </ code > < code class ="Fl "> -disable-mutable-globals</ code > </ dt >
58+ < dt id =" disable-mutable-globals " > < a class ="permalink " href =" #disable-mutable-globals " > < code class ="Fl "> -- disable-mutable-globals</ code > </ a > </ dt >
5759 < dd > Disable Import/export mutable globals</ dd >
58- < dt > < code class ="Fl " > - </ code > < code class ="Fl "> -enable- saturating-float-to-int</ code > </ dt >
59- < dd > Enable Saturating float-to-int operators</ dd >
60- < dt > < code class ="Fl " > - </ code > < code class ="Fl "> -enable- sign-extension</ code > </ dt >
61- < dd > Enable Sign-extension operators</ dd >
62- < dt > < code class ="Fl " > - </ code > < code class ="Fl "> -disable-simd</ code > </ dt >
60+ < dt id =" disable-saturating-float-to-int " > < a class ="permalink " href =" #disable-saturating-float-to-int " > < code class ="Fl "> --disable- saturating-float-to-int</ code > </ a > </ dt >
61+ < dd > Disable Saturating float-to-int operators</ dd >
62+ < dt id =" disable-sign-extension " > < a class ="permalink " href =" #disable-sign-extension " > < code class ="Fl "> --disable- sign-extension</ code > </ a > </ dt >
63+ < dd > Disable Sign-extension operators</ dd >
64+ < dt id =" disable-simd " > < a class ="permalink " href =" #disable-simd " > < code class ="Fl "> -- disable-simd</ code > </ a > </ dt >
6365 < dd > Disable SIMD support</ dd >
64- < dt > < code class ="Fl " > - </ code > < code class ="Fl "> -enable-threads</ code > </ dt >
66+ < dt id =" enable-threads " > < a class ="permalink " href =" #enable-threads " > < code class ="Fl "> -- enable-threads</ code > </ a > </ dt >
6567 < dd > Enable Threading support</ dd >
66- < dt > < code class ="Fl "> -</ code > < code class ="Fl "> -enable-multi-value</ code > </ dt >
67- < dd > Enable Multi-value</ dd >
68- < dt > < code class ="Fl "> -</ code > < code class ="Fl "> -enable-tail-call</ code > </ dt >
68+ < dt id ="enable-function-references "> < a class ="permalink " href ="#enable-function-references "> < code class ="Fl "> --enable-function-references</ code > </ a > </ dt >
69+ < dd > Enable Typed function references</ dd >
70+ < dt id ="disable-multi-value "> < a class ="permalink " href ="#disable-multi-value "> < code class ="Fl "> --disable-multi-value</ code > </ a > </ dt >
71+ < dd > Disable Multi-value</ dd >
72+ < dt id ="enable-tail-call "> < a class ="permalink " href ="#enable-tail-call "> < code class ="Fl "> --enable-tail-call</ code > </ a > </ dt >
6973 < dd > Enable Tail-call support</ dd >
70- < dt > < a class ="permalink " href ="#V "> < code class ="Fl " id ="V "> -V</ code > </ a > ,
71- < code class ="Fl "> -</ code > < code class ="Fl "> -value-stack-size=SIZE</ code > </ dt >
74+ < dt id ="disable-bulk-memory "> < a class ="permalink " href ="#disable-bulk-memory "> < code class ="Fl "> --disable-bulk-memory</ code > </ a > </ dt >
75+ < dd > Disable Bulk-memory operations</ dd >
76+ < dt id ="disable-reference-types "> < a class ="permalink " href ="#disable-reference-types "> < code class ="Fl "> --disable-reference-types</ code > </ a > </ dt >
77+ < dd > Disable Reference types (externref)</ dd >
78+ < dt id ="enable-annotations "> < a class ="permalink " href ="#enable-annotations "> < code class ="Fl "> --enable-annotations</ code > </ a > </ dt >
79+ < dd > Enable Custom annotation syntax</ dd >
80+ < dt id ="enable-code-metadata "> < a class ="permalink " href ="#enable-code-metadata "> < code class ="Fl "> --enable-code-metadata</ code > </ a > </ dt >
81+ < dd > Enable Code metadata</ dd >
82+ < dt id ="enable-gc "> < a class ="permalink " href ="#enable-gc "> < code class ="Fl "> --enable-gc</ code > </ a > </ dt >
83+ < dd > Enable Garbage collection</ dd >
84+ < dt id ="enable-memory64 "> < a class ="permalink " href ="#enable-memory64 "> < code class ="Fl "> --enable-memory64</ code > </ a > </ dt >
85+ < dd > Enable 64-bit memory</ dd >
86+ < dt id ="enable-multi-memory "> < a class ="permalink " href ="#enable-multi-memory "> < code class ="Fl "> --enable-multi-memory</ code > </ a > </ dt >
87+ < dd > Enable Multi-memory</ dd >
88+ < dt id ="enable-extended-const "> < a class ="permalink " href ="#enable-extended-const "> < code class ="Fl "> --enable-extended-const</ code > </ a > </ dt >
89+ < dd > Enable Extended constant expressions</ dd >
90+ < dt id ="enable-all "> < a class ="permalink " href ="#enable-all "> < code class ="Fl "> --enable-all</ code > </ a > </ dt >
91+ < dd > Enable all features</ dd >
92+ < dt id ="V "> < a class ="permalink " href ="#V "> < code class ="Fl "> -V</ code > </ a > ,
93+ < code class ="Fl "> --value-stack-size=SIZE</ code > </ dt >
7294 < dd > Size in elements of the value stack</ dd >
73- < dt > < a class ="permalink " href ="#C "> < code class ="Fl " id =" C "> -C</ code > </ a > ,
74- < code class ="Fl "> -</ code > < code class =" Fl " > -call-stack-size=SIZE</ code > </ dt >
95+ < dt id =" C " > < a class ="permalink " href ="#C "> < code class ="Fl "> -C</ code > </ a > ,
96+ < code class ="Fl "> --call-stack-size=SIZE</ code > </ dt >
7597 < dd > Size in elements of the call stack</ dd >
76- < dt > < a class ="permalink " href ="#t "> < code class ="Fl " id =" t "> -t</ code > </ a > ,
77- < code class ="Fl "> -</ code > < code class =" Fl " > -trace</ code > </ dt >
98+ < dt id =" t " > < a class ="permalink " href ="#t "> < code class ="Fl "> -t</ code > </ a > ,
99+ < code class ="Fl "> --trace</ code > </ dt >
78100 < dd > Trace execution</ dd >
79101</ dl >
80102</ section >
81103< section class ="Sh ">
82104< h1 class ="Sh " id ="EXAMPLES "> < a class ="permalink " href ="#EXAMPLES "> EXAMPLES</ a > </ h1 >
83- Parse test.json and run the spec tests
105+ < p class =" Pp " > Parse test.json and run the spec tests</ p >
84106< p class ="Pp "> </ p >
85107< div class ="Bd Bd-indent "> < code class ="Li "> $ spectest-interp
86108 test.json</ code > </ div >
87109</ section >
88110< section class ="Sh ">
89111< h1 class ="Sh " id ="SEE_ALSO "> < a class ="permalink " href ="#SEE_ALSO "> SEE
90112 ALSO</ a > </ h1 >
91- < a class ="Xr " href ="wasm-interp.1.html "> wasm-interp(1)</ a > ,
92- < a class ="Xr " href ="wasm-objdump.1.html "> wasm-objdump(1)</ a > ,
93- < a class ="Xr " href ="wasm-stats.1.html "> wasm-stats(1)</ a > ,
94- < a class ="Xr " href ="wasm-strip.1.html "> wasm-strip(1)</ a > ,
95- < a class ="Xr " href ="wasm-validate.1.html "> wasm-validate(1)</ a > ,
96- < a class ="Xr " href ="wasm2c.1.html "> wasm2c(1)</ a > ,
97- < a class ="Xr " href ="wasm2wat.1.html "> wasm2wat(1)</ a > ,
98- < a class ="Xr " href ="wast2json.1.html "> wast2json(1)</ a > ,
99- < a class ="Xr " href ="wat-desugar.1.html "> wat-desugar(1)</ a > ,
100- < a class ="Xr " href ="wat2wasm.1.html "> wat2wasm(1)</ a >
113+ < p class ="Pp "> < a class ="Xr " href ="wasm-decompile.1.html "> wasm-decompile(1)</ a > ,
114+ < a class ="Xr " href ="wasm-interp.1.html "> wasm-interp(1)</ a > ,
115+ < a class ="Xr " href ="wasm-objdump.1.html "> wasm-objdump(1)</ a > ,
116+ < a class ="Xr " href ="wasm-stats.1.html "> wasm-stats(1)</ a > ,
117+ < a class ="Xr " href ="wasm-strip.1.html "> wasm-strip(1)</ a > ,
118+ < a class ="Xr " href ="wasm-validate.1.html "> wasm-validate(1)</ a > ,
119+ < a class ="Xr " href ="wasm2c.1.html "> wasm2c(1)</ a > ,
120+ < a class ="Xr " href ="wasm2wat.1.html "> wasm2wat(1)</ a > ,
121+ < a class ="Xr " href ="wast2json.1.html "> wast2json(1)</ a > ,
122+ < a class ="Xr " href ="wat-desugar.1.html "> wat-desugar(1)</ a > ,
123+ < a class ="Xr " href ="wat2wasm.1.html "> wat2wasm(1)</ a > </ p >
101124</ section >
102125< section class ="Sh ">
103126< h1 class ="Sh " id ="BUGS "> < a class ="permalink " href ="#BUGS "> BUGS</ a > </ h1 >
104- If you find a bug, please report it at
105- < br />
106- < a class ="Lk " href ="https://github.com/WebAssembly/wabt/issues "> https://github.com/WebAssembly/wabt/issues</ a > .
127+ < p class =" Pp " > If you find a bug, please report it at
128+ < br />
129+ < a class ="Lk " href ="https://github.com/WebAssembly/wabt/issues "> https://github.com/WebAssembly/wabt/issues</ a > .</ p >
107130</ section >
108131</ div >
109132< table class ="foot ">
110133 < tr >
111- < td class ="foot-date "> October 7, 2021 </ td >
134+ < td class ="foot-date "> September 23, 2025 </ td >
112135 < td class ="foot-os "> Debian</ td >
113136 </ tr >
114137</ table >
0 commit comments