---
name: "wasm-fuzz-lattices"
section: "1"
platform: "linux"
package: "binaryen"
version: "120-4"
release: "Debian 13 (Trixie)"
platforms: ["linux"]
url: "https://new.carta.tech/wasm-fuzz-lattices"
---

# wasm-fuzz-lattices(1)

Fuzz lattices for reflexivity, transitivity, and anti-symmetry, and tranfer

## 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