;;; RUN: %(wasm-validate)s
;;; ARGS: --help
(;; STDOUT ;;;
usage: wasm-validate [options] filename

  Read a file in the WebAssembly binary format, and validate it.

examples:
  # validate binary file test.wasm
  $ wasm-validate test.wasm

options:
  -v, --verbose                               Use multiple times for more info
  -h, --help                                  Print this help message
      --enable-exceptions                     Experimental exception handling
      --enable-mutable-globals                Import/export mutable globals
      --enable-saturating-float-to-int        Saturating float-to-int operators
      --enable-sign-extension                 Sign-extension operators
      --enable-simd                           SIMD support
      --enable-threads                        Threading support
      --no-debug-names                        Ignore debug names in the binary file
      --ignore-custom-section-errors          Ignore errors in custom sections
;;; STDOUT ;;)
