diff options
author | Ben Smith <binji@chromium.org> | 2020-01-17 16:33:03 -0800 |
---|---|---|
committer | Ben Smith <binji@chromium.org> | 2020-01-17 16:33:03 -0800 |
commit | 8bd065771ad7f87c839c2ac76ad924b33d961db5 (patch) | |
tree | 7ccf0844bad5c11c0e90ad396b2e013a6df18d42 /man/wasm-validate.1 | |
parent | 0b99d31dd8b4c16e213680494589ad5b6702ea47 (diff) | |
download | wabt-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.1 | 60 |
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 . |