;; RUN: wasm-shell --help | filecheck %s
;; CHECK: ================================================================================
;; CHECK-NEXT: wasm-shell INFILE
;; CHECK-NEXT:
;; CHECK-NEXT: Execute .wast files
;; CHECK-NEXT: ================================================================================
;; CHECK-NEXT:
;; CHECK-NEXT:
;; CHECK-NEXT: General options:
;; CHECK-NEXT: ----------------
;; CHECK-NEXT:
;; CHECK-NEXT:   --version  Output version information and exit
;; CHECK-NEXT:
;; CHECK-NEXT:   --help,-h  Show this help message and exit
;; CHECK-NEXT:
;; CHECK-NEXT:   --debug,-d Print debug information to stderr
;; CHECK-NEXT:
