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.
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.
The ChaCha
algorithm. This became the default with Proptest 0.9.1.
The seed must be exactly 32 bytes.
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.
Formats the value using the given formatter. Read more
Formats the value using the given formatter. Read more
This method tests for self
and other
values to be equal, and is used by ==
. Read more
This method tests for !=
.
The associated error which can be returned from parsing.
Parses a string s
to return a value of this type. Read more
Performs copy-assignment from source
. Read more
Returns the "default value" for a type. Read more
🔬 This is a nightly-only experimental API. (try_from
)
The type returned in the event of a conversion error.
🔬 This is a nightly-only experimental API. (try_from
)
🔬 This is a nightly-only experimental API. (try_from
)
The type returned in the event of a conversion error.
🔬 This is a nightly-only experimental API. (try_from
)
Immutably borrows from an owned value. Read more
Mutably borrows from an owned value. Read more
🔬 This is a nightly-only experimental API. (get_type_id
)
this method will likely be replaced by an associated static
Converts the given value to a String
. Read more
Creates owned data from borrowed data, usually by cloning. Read more
🔬 This is a nightly-only experimental API. (toowned_clone_into
)
recently added
Uses borrowed data to replace owned data, usually by cloning. Read more