NAME
wasm-fuzz-lattices - Fuzz lattices for reflexivity, transitivity, and anti-symmetry, and tranfer
DESCRIPTION
================================================================================ wasm-fuzz-lattices
Fuzz lattices for reflexivity, transitivity, and anti-symmetry, and tranfer functions for monotonicity. ================================================================================
wasm-fuzz-lattices options: ---------------------------
- --seed
-
Run a single workload generated by the given seed
- --lattice-element-seed
-
Seed which generated the lattice elements to be checked.
- --function-name
-
Name of the function in the module generated by --seed to be checked.
- --verbose,-v
-
Print extra information
General options: ----------------
- --version
-
Output version information and exit
- --help,-h
-
Show this help message and exit
- --debug,-d
-
Print debug information to stderr