summaryrefslogtreecommitdiff
path: root/man/wasm-validate.1
diff options
context:
space:
mode:
authorBen Smith <binji@chromium.org>2020-01-17 16:33:03 -0800
committerBen Smith <binji@chromium.org>2020-01-17 16:33:03 -0800
commit8bd065771ad7f87c839c2ac76ad924b33d961db5 (patch)
tree7ccf0844bad5c11c0e90ad396b2e013a6df18d42 /man/wasm-validate.1
parent0b99d31dd8b4c16e213680494589ad5b6702ea47 (diff)
downloadwabt-8bd065771ad7f87c839c2ac76ad924b33d961db5.tar.gz
wabt-8bd065771ad7f87c839c2ac76ad924b33d961db5.tar.bz2
wabt-8bd065771ad7f87c839c2ac76ad924b33d961db5.zip
Put rendered man page html in docs, not .1 files
Diffstat (limited to 'man/wasm-validate.1')
-rw-r--r--man/wasm-validate.160
1 files changed, 60 insertions, 0 deletions
diff --git a/man/wasm-validate.1 b/man/wasm-validate.1
new file mode 100644
index 00000000..ebc7ccfb
--- /dev/null
+++ b/man/wasm-validate.1
@@ -0,0 +1,60 @@
+.Dd $Mdocdate$
+.Dt WABT 1
+.Os
+.Sh NAME
+.Nm wasm-validate
+.Nd validate a file in the WebAssembly binary format
+.Sh SYNOPSIS
+.Nm wasm-validate
+.Op options
+.Ar file
+.Sh DESCRIPTION
+.Nm
+reads a file in the WebAssembly binary format and validates it.
+.Pp
+The options are as follows:
+.Bl -tag -width Ds
+.It Fl v , Fl Fl verbose
+Use multiple times for more info
+.It Fl Fl help
+Print this help message
+.It Fl Fl enable-exceptions
+Enable Experimental exception handling
+.It Fl Fl disable-mutable-globals
+Disable Import/export mutable globals
+.It Fl Fl enable-saturating-float-to-int
+Enable Saturating float-to-int operators
+.It Fl Fl enable-sign-extension
+Enable Sign-extension operators
+.It Fl Fl enable-simd
+Enable SIMD support
+.It Fl Fl enable-threads
+Enable Threading support
+.It Fl Fl enable-multi-value
+Enable Multi-value
+.It Fl Fl enable-tail-call
+Enable Tail-call support
+.It Fl Fl no-debug-names
+Ignore debug names in the binary file
+.It Fl Fl ignore-custom-section-errors
+Ignore errors in custom sections
+.El
+.Sh EXAMPLES
+Validate binary file test.wasm
+.Pp
+.Dl $ wasm-validate test.wasm
+.Sh SEE ALSO
+.Xr wasm-interp 1 ,
+.Xr wasm-objdump 1 ,
+.Xr wasm-opcodecnt 1 ,
+.Xr wasm-strip 1 ,
+.Xr wasm2c 1 ,
+.Xr wasm2wat 1 ,
+.Xr wast2json 1 ,
+.Xr wat-desugar 1 ,
+.Xr wat2wasm 1 ,
+.Xr spectest-interp 1
+.Sh BUGS
+If you find a bug, please report it at
+.br
+.Lk https://github.com/WebAssembly/wabt/issues .