Man page - wasm-fuzz-lattices(1)

Packages contains this manual

Package:  binaryen
apt-get install binaryen

Manuals in package:
• wasm-fuzz-types(1)
• wasm-emscripten-finalize(1)
• wasm-merge(1)
• wasm-opt(1)
• wasm-fuzz-lattices(1)
• wasm-metadce(1)
• wasm-shell(1)
• wasm-split(1)
• wasm-ctor-eval(1)
• wasm-dis(1)
• wasm-reduce(1)
• wasm2js(1)
• wasm-as(1)
Documentations in package:
• binaryen

Manual

WASM-FUZZ-LATTICES

NAME
DESCRIPTION

---

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

---