Man page - wasm-fuzz-lattices(1)
Packages contas this manual
Manual
| WASM-FUZZ-LATTICES(1) | User Commands | WASM-FUZZ-LATTICES(1) |
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
| April 2025 | wasm-fuzz-lattices 120 |