NAME

       wasm-fuzz-lattices - manual page for wasm-fuzz-lattices 120

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

wasm-fuzz-lattices 120                            February 2025                            WASM-FUZZ-LATTICES(1)