From 8bd065771ad7f87c839c2ac76ad924b33d961db5 Mon Sep 17 00:00:00 2001 From: Ben Smith Date: Fri, 17 Jan 2020 16:33:03 -0800 Subject: Put rendered man page html in docs, not .1 files --- docs/doc/wasm-validate.1.html | 93 +++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 93 insertions(+) create mode 100644 docs/doc/wasm-validate.1.html (limited to 'docs/doc/wasm-validate.1.html') diff --git a/docs/doc/wasm-validate.1.html b/docs/doc/wasm-validate.1.html new file mode 100644 index 00000000..4c74a7f5 --- /dev/null +++ b/docs/doc/wasm-validate.1.html @@ -0,0 +1,93 @@ + + + + + + WABT(1) + + + + + + + + +
WABT(1)General Commands ManualWABT(1)
+
+

NAME

+wasm-validate — + validate a file in the WebAssembly binary + format +

SYNOPSIS

+ + + + + +
wasm-validate[options] + file
+

DESCRIPTION

+wasm-validate reads a file in the WebAssembly + binary format and validates it. +
+The options are as follows: +
+
-v, + --verbose
+
Use multiple times for more info
+
--help
+
Print this help message
+
--enable-exceptions
+
Enable Experimental exception handling
+
--disable-mutable-globals
+
Disable Import/export mutable globals
+
--enable-saturating-float-to-int
+
Enable Saturating float-to-int operators
+
--enable-sign-extension
+
Enable Sign-extension operators
+
--enable-simd
+
Enable SIMD support
+
--enable-threads
+
Enable Threading support
+
--enable-multi-value
+
Enable Multi-value
+
--enable-tail-call
+
Enable Tail-call support
+
--no-debug-names
+
Ignore debug names in the binary file
+
--ignore-custom-section-errors
+
Ignore errors in custom sections
+
+

EXAMPLES

+Validate binary file test.wasm +
+
$ wasm-validate test.wasm
+

SEE + ALSO

+wasm-interp(1), + wasm-objdump(1), + wasm-opcodecnt(1), + wasm-strip(1), + wasm2c(1), + wasm2wat(1), + wast2json(1), + wat-desugar(1), + wat2wasm(1), + spectest-interp(1) +

BUGS

+If you find a bug, please report it at +
 
+https://github.com/WebAssembly/wabt/issues.
+ + + + + +
December 17, 2018Debian
+ + -- cgit v1.2.3