Module test_generation::config
source · [−]Structs
Command line arguments for the tool
Constants
Whether generation of instructions that require borrow checking will
be allowed. (Note that if NEGATE_PRECONDITIONS is true then these
instructions can still come up).
Default is false
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.
Default is false
Whether gas will be metered when running generated programs. The default
is true to bound the execution time.
Default is true
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.
Default is 10
This defines how tolerant the generator will be about deviating from
the starting stack height.
Default is 0.9
Whether preconditions will be negated to generate invalid programs
in order to test error paths.
Default is false
The probability that preconditions will be negated for a pariticular
bytecode instruction.
Default is 0.1
Whether the generated programs should be run on the VM
Default is true
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.
Functions
The module generation settings that are used for generation module scaffolding for bytecode generation.