diff options
Diffstat (limited to 'docs/doc/wasm-validate.1')
-rw-r--r-- | docs/doc/wasm-validate.1 | 60 |
1 files changed, 0 insertions, 60 deletions
diff --git a/docs/doc/wasm-validate.1 b/docs/doc/wasm-validate.1 deleted file mode 100644 index ebc7ccfb..00000000 --- a/docs/doc/wasm-validate.1 +++ /dev/null @@ -1,60 +0,0 @@ -.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 . |