pub enum RngAlgorithm {
    XorShift,
    ChaCha,
    PassThrough,
    Recorder,
    // some variants omitted
}
Expand description

Identifies a particular RNG algorithm supported by proptest.

Proptest supports dynamic configuration of algorithms to allow it to continue operating with persisted regression files and to allow the configuration to be expressed in the Config struct.

Variants

XorShift

The XorShift algorithm. This was the default up through and including Proptest 0.9.0.

It is faster than ChaCha but produces lower quality randomness and has some pathological cases where it may fail to produce outputs that are random even to casual observation.

The seed must be exactly 16 bytes.

ChaCha

The ChaCha algorithm. This became the default with Proptest 0.9.1.

The seed must be exactly 32 bytes.

PassThrough

This is not an actual RNG algorithm, but instead returns data directly from its “seed”.

This is useful when Proptest is being driven from some other entropy source, such as a fuzzer.

If the seed is depleted, the RNG will return 0s forever.

Note that in cases where a new RNG is to be derived from an existing one, the data is split evenly between them, regardless of how much entropy is actually needed. This means that combinators like prop_perturb and prop_flat_map can require extremely large inputs.

Recorder

This is equivalent to the ChaCha RNG, with the addition that it records the bytes used to create a value.

This is useful when Proptest is used for fuzzing, and a corpus of initial inputs need to be created. Note that in these cases, you need to use the TestRunner API directly yourself instead of using the proptest! macro, as otherwise there is no way to obtain the bytes this captures.

Trait Implementations

Returns a copy of the value. Read more

Performs copy-assignment from source. Read more

Formats the value using the given formatter. Read more

Returns the “default value” for a type. Read more

Formats the value using the given formatter. Read more

The associated error which can be returned from parsing.

Parses a string s to return a value of this type. Read more

This method tests for self and other values to be equal, and is used by ==. Read more

This method tests for !=.

Auto Trait Implementations

Blanket Implementations

Gets the TypeId of self. Read more

Immutably borrows from an owned value. Read more

Mutably borrows from an owned value. Read more

Returns the argument unchanged.

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

The resulting type after obtaining ownership.

Creates owned data from borrowed data, usually by cloning. Read more

Uses borrowed data to replace owned data, usually by cloning. Read more

Converts the given value to a String. Read more

The type returned in the event of a conversion error.

Performs the conversion.

The type returned in the event of a conversion error.

Performs the conversion.