;; RUN: wasm-fuzz-types --help | filecheck %s
;; CHECK: ================================================================================
;; CHECK-NEXT: wasm-fuzz-types
;; CHECK-NEXT:
;; CHECK-NEXT: Fuzz type construction, canonicalization, and operations
;; CHECK-NEXT: ================================================================================
;; CHECK-NEXT:
;; CHECK-NEXT:
;; CHECK-NEXT: wasm-fuzz-types options:
;; CHECK-NEXT: ------------------------
;; CHECK-NEXT:
;; CHECK-NEXT:   --seed       Run a single workload generated by the given seed
;; CHECK-NEXT:
;; CHECK-NEXT:   --verbose,-v Print extra information
;; 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: