Crate proptest[][src]

Proptest Reference Documentation

This is the reference documentation for the proptest API.

For documentation on how to get started with proptest and general usage advice, please refer to the Proptest Book.

Modules

arbitrary

Defines the Arbitrary trait and related free functions and type aliases.

array

Support for strategies producing fixed-length arrays.

bits

Strategies for working with bit sets.

bool

Strategies for generating bool values.

char

Strategies for generating char values.

collection

Strategies for generating std::collections of values.

num

Strategies to generate numeric values (as opposed to integers used as bit fields).

option

Strategies for generating std::Option values.

prelude

Re-exports the most commonly-needed APIs of proptest.

result

Strategies for combining delegate strategies into std::Results.

sample

Strategies for generating values by taking samples of collections.

strategy

Defines the core traits used by Proptest.

test_runner

State and functions for running proptest tests.

tuple

Support for combining strategies into tuples.

Macros

prop_assert

Similar to assert! from std, but returns a test failure instead of panicking if the condition fails.

prop_assert_eq

Similar to assert_eq! from std, but returns a test failure instead of panicking if the condition fails.

prop_assert_ne

Similar to assert_ne! from std, but returns a test failure instead of panicking if the condition fails.

prop_assume

Rejects the test input if assumptions are not met.

prop_compose

Convenience to define functions which produce new strategies.

prop_oneof

Produce a strategy which picks one of the listed choices.

proptest

Easily define proptest tests.