diff options
Diffstat (limited to 'docs/doc/spectest-interp.1.html')
| -rw-r--r-- | docs/doc/spectest-interp.1.html | 98 |
1 files changed, 98 insertions, 0 deletions
diff --git a/docs/doc/spectest-interp.1.html b/docs/doc/spectest-interp.1.html new file mode 100644 index 00000000..d88cbe5c --- /dev/null +++ b/docs/doc/spectest-interp.1.html @@ -0,0 +1,98 @@ +<!DOCTYPE html> +<html> +<head> + <meta charset="utf-8"/> + <style> + table.head, table.foot { width: 100%; } + td.head-rtitle, td.foot-os { text-align: right; } + td.head-vol { text-align: center; } + div.Pp { margin: 1ex 0ex; } + </style> + <title>WABT(1)</title> +</head> +<body> +<table class="head"> + <tr> + <td class="head-ltitle">WABT(1)</td> + <td class="head-vol">General Commands Manual</td> + <td class="head-rtitle">WABT(1)</td> + </tr> +</table> +<div class="manual-text"> +<h1 class="Sh" title="Sh" id="NAME"><a class="selflink" href="#NAME">NAME</a></h1> +<b class="Nm" title="Nm">spectest-interp</b> — + <span class="Nd" title="Nd">read a Spectest JSON file, and run its tests in + the interpreter</span> +<h1 class="Sh" title="Sh" id="SYNOPSIS"><a class="selflink" href="#SYNOPSIS">SYNOPSIS</a></h1> +<table class="Nm"> + <tr> + <td><b class="Nm" title="Nm">spectest-interp</b></td> + <td>[<span class="Op">options</span>] + <var class="Ar" title="Ar">file</var></td> + </tr> +</table> +<h1 class="Sh" title="Sh" id="DESCRIPTION"><a class="selflink" href="#DESCRIPTION">DESCRIPTION</a></h1> +<b class="Nm" title="Nm">spectest-interp</b> reads a Spectest JSON file, and + runs its tests in the interpreter. +<div class="Pp"></div> +The options are as follows: +<dl class="Bl-tag"> + <dt class="It-tag"><a class="selflink" href="#v"><b class="Fl" title="Fl" id="v">-v</b></a>, + <b class="Fl" title="Fl">-</b><b class="Fl" title="Fl">-verbose</b></dt> + <dd class="It-tag">Use multiple times for more info</dd> + <dt class="It-tag"><b class="Fl" title="Fl">-</b><b class="Fl" title="Fl">-help</b></dt> + <dd class="It-tag">Print this help message</dd> + <dt class="It-tag"><b class="Fl" title="Fl">-</b><b class="Fl" title="Fl">-enable-exceptions</b></dt> + <dd class="It-tag">Enable Experimental exception handling</dd> + <dt class="It-tag"><b class="Fl" title="Fl">-</b><b class="Fl" title="Fl">-disable-mutable-globals</b></dt> + <dd class="It-tag">Disable Import/export mutable globals</dd> + <dt class="It-tag"><b class="Fl" title="Fl">-</b><b class="Fl" title="Fl">-enable-saturating-float-to-int</b></dt> + <dd class="It-tag">Enable Saturating float-to-int operators</dd> + <dt class="It-tag"><b class="Fl" title="Fl">-</b><b class="Fl" title="Fl">-enable-sign-extension</b></dt> + <dd class="It-tag">Enable Sign-extension operators</dd> + <dt class="It-tag"><b class="Fl" title="Fl">-</b><b class="Fl" title="Fl">-enable-simd</b></dt> + <dd class="It-tag">Enable SIMD support</dd> + <dt class="It-tag"><b class="Fl" title="Fl">-</b><b class="Fl" title="Fl">-enable-threads</b></dt> + <dd class="It-tag">Enable Threading support</dd> + <dt class="It-tag"><b class="Fl" title="Fl">-</b><b class="Fl" title="Fl">-enable-multi-value</b></dt> + <dd class="It-tag">Enable Multi-value</dd> + <dt class="It-tag"><b class="Fl" title="Fl">-</b><b class="Fl" title="Fl">-enable-tail-call</b></dt> + <dd class="It-tag">Enable Tail-call support</dd> + <dt class="It-tag"><a class="selflink" href="#V"><b class="Fl" title="Fl" id="V">-V</b></a>, + <b class="Fl" title="Fl">-</b><b class="Fl" title="Fl">-value-stack-size=SIZE</b></dt> + <dd class="It-tag">Size in elements of the value stack</dd> + <dt class="It-tag"><a class="selflink" href="#C"><b class="Fl" title="Fl" id="C">-C</b></a>, + <b class="Fl" title="Fl">-</b><b class="Fl" title="Fl">-call-stack-size=SIZE</b></dt> + <dd class="It-tag">Size in elements of the call stack</dd> + <dt class="It-tag"><a class="selflink" href="#t"><b class="Fl" title="Fl" id="t">-t</b></a>, + <b class="Fl" title="Fl">-</b><b class="Fl" title="Fl">-trace</b></dt> + <dd class="It-tag">Trace execution</dd> +</dl> +<h1 class="Sh" title="Sh" id="EXAMPLES"><a class="selflink" href="#EXAMPLES">EXAMPLES</a></h1> +Parse test.json and run the spec tests +<div class="Pp"></div> +<div class="D1"><code class="Li">$ spectest-interp test.json</code></div> +<h1 class="Sh" title="Sh" id="SEE_ALSO"><a class="selflink" href="#SEE_ALSO">SEE + ALSO</a></h1> +<a class="Xr" title="Xr" href="wasm-interp.1.html">wasm-interp(1)</a>, + <a class="Xr" title="Xr" href="wasm-objdump.1.html">wasm-objdump(1)</a>, + <a class="Xr" title="Xr" href="wasm-opcodecnt.1.html">wasm-opcodecnt(1)</a>, + <a class="Xr" title="Xr" href="wasm-strip.1.html">wasm-strip(1)</a>, + <a class="Xr" title="Xr" href="wasm-validate.1.html">wasm-validate(1)</a>, + <a class="Xr" title="Xr" href="wasm2c.1.html">wasm2c(1)</a>, + <a class="Xr" title="Xr" href="wasm2wat.1.html">wasm2wat(1)</a>, + <a class="Xr" title="Xr" href="wast2json.1.html">wast2json(1)</a>, + <a class="Xr" title="Xr" href="wat-desugar.1.html">wat-desugar(1)</a>, + <a class="Xr" title="Xr" href="wat2wasm.1.html">wat2wasm(1)</a> +<h1 class="Sh" title="Sh" id="BUGS"><a class="selflink" href="#BUGS">BUGS</a></h1> +If you find a bug, please report it at +<div> </div> +<a class="Lk" title="Lk" href="https://github.com/WebAssembly/wabt/issues">https://github.com/WebAssembly/wabt/issues</a>.</div> +<table class="foot"> + <tr> + <td class="foot-date">December 17, 2018</td> + <td class="foot-os">Debian</td> + </tr> +</table> +</body> +</html> |