summaryrefslogtreecommitdiff
path: root/docs/doc/wasm-validate.1
diff options
context:
space:
mode:
Diffstat (limited to 'docs/doc/wasm-validate.1')
-rw-r--r--docs/doc/wasm-validate.160
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 .