1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
|
;; 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: --nominal Use the nominal type system (default)
;; CHECK-NEXT:
;; CHECK-NEXT: --structural Use the equirecursive type system
;; CHECK-NEXT:
;; CHECK-NEXT: --hybrid Use the isorecursive hybrid type system
;; 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:
|
