Command line arguments for the tool
Whether generation of instructions that require borrow checking will
be allowed. (Note that if
Call stack height limit. This is defined in the VM, and is replicated here. This should track that constant.
Whether generated modules will be executed even if they fail the
the bytecode verifier.
Whether gas will be metered when running generated programs. The default
Certain randomly generated types can lead to extremely long instruction sequences. This can lead to test generation taking quite a while in order to handle all of these. This parameter bounds the maximum allowable instruction length for a type. If the instruction sequence is larger then this, a new module and bytecode generation will be attempted.
This defines the maximum number of blocks that will be generated for
a function body's CFG. During generation, a random number of blocks from
1 to this constant will be created.
This defines how tolerant the generator will be about deviating from
the starting stack height.
Whether preconditions will be negated to generate invalid programs
in order to test error paths.
The probability that preconditions will be negated for a pariticular
Whether the generated programs should be run on the VM
The value stack size limit. This is defined in the VM and is replicated here. This should remain in sync with the constant for this defined in the VM.
The module generation settings that are used for generation module scaffolding for bytecode generation.