.\" DO NOT MODIFY THIS FILE!  It was generated by help2man 1.49.3.
.TH WASM-FUZZ-LATTICES "1" "February 2025" "wasm-fuzz-lattices 120" "User Commands"
.SH NAME
wasm-fuzz-lattices \- manual page for wasm-fuzz-lattices 120
.SH DESCRIPTION
================================================================================
wasm\-fuzz\-lattices
.PP
Fuzz lattices for reflexivity, transitivity, and anti\-symmetry, and tranfer
functions for monotonicity.
================================================================================
.PP
wasm\-fuzz\-lattices options:
\fB\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\fR
.TP
\fB\-\-seed\fR
Run a single workload generated by the given seed
.TP
\fB\-\-lattice\-element\-seed\fR
Seed which generated the lattice elements to be
checked.
.TP
\fB\-\-function\-name\fR
Name of the function in the module generated by \fB\-\-seed\fR
to be checked.
.TP
\fB\-\-verbose\fR,\-v
Print extra information
.PP
General options:
\fB\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\-\fR
.TP
\fB\-\-version\fR
Output version information and exit
.TP
\fB\-\-help\fR,\-h
Show this help message and exit
.TP
\fB\-\-debug\fR,\-d
Print debug information to stderr