Enum proptest::test_runner::RngAlgorithm

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

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.

It is the user's responsibility to ensure that the seed is "big enough". Proptest makes no guarantees about how much data is consumed from the seed for any particular strategy. If the seed is exhausted, the RNG panics.

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.

Trait Implementations

impl Clone for RngAlgorithm

fn clone(&self) -> RngAlgorithm

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Copy for RngAlgorithm

impl Debug for RngAlgorithm

fn fmt(&self, f: &mut Formatter) -> Result

Formats the value using the given formatter.

impl Display for RngAlgorithm

fn fmt(&self, f: &mut Formatter) -> Result

Formats the value using the given formatter.

impl PartialEq<RngAlgorithm> for RngAlgorithm

fn eq(&self, other: &RngAlgorithm) -> bool

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

#[must_use]

fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

impl Eq for RngAlgorithm

impl FromStr for RngAlgorithm

type Err = ()

The associated error which can be returned from parsing.

fn from_str(s: &str) -> Result<Self, ()>

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

impl Default for RngAlgorithm

fn default() -> Self

Returns the "default value" for a type.