List of all items
Structs
- config::BooleanCoverage
- config::CollectionCoverage
- config::ConfigManager
- config::CoverageInfo
- config::CoverageReport
- config::CoverageThresholds
- config::EnumCoverage
- config::EnumThreshold
- config::GenerationPerformanceMetrics
- config::GenerationStats
- config::GeneratorConfig
- config::GlobalConfig
- config::MemoryStats
- config::NumericCoverage
- config::NumericStatistics
- config::NumericThreshold
- config::StringCoverage
- config::TestConfig
- ergonomic::auto_gen::InferredGenerator
- ergonomic::builder::ErgonomicPropertyTest
- ergonomic::builder::ErgonomicPropertyTestWithClosure
- ergonomic::closure_property::ClosureProperty
- error::ErrorReporter
- error::ShrinkProgress
- error::ShrinkStatistics
- error::ShrinkStep
- error::TestFailure
- error::TestSuccess
- execution::AsyncPropertyTest
- execution::PropertyTest
- execution::PropertyTestBuilder
- generator::BoxedGenerator
- generator::ConstantGenerator
- generator::GeneratorRegistry
- generator::OneOfGenerator
- performance::LazyGenerator
- performance::ParallelConfig
- performance::ParallelPropertyTest
- performance::StreamingShrinkStrategy
- primitives::BoolGenerator
- primitives::BoolStrategy
- primitives::CharGenerator
- primitives::CharStrategy
- primitives::F64Strategy
- primitives::FloatGenerator
- primitives::HashMapGenerator
- primitives::I32Strategy
- primitives::IntGenerator
- primitives::OptionGenerator
- primitives::StringGenerator
- primitives::StringStrategy
- primitives::Tuple3Generator
- primitives::Tuple4Generator
- primitives::TupleGenerator
- primitives::TupleStrategy2
- primitives::TupleStrategy3
- primitives::U32Strategy
- primitives::VecGenerator
- primitives::VecStrategy
- rng::DefaultRngProvider
- rng::RngManager
- rng::RngWrapper
- rng::TestRngProvider
- shrink::AsyncShrinkEngine
- shrink::ShrinkConfig
- shrink::ShrinkEngine
- shrink::ShrinkResult
- statistics::CoverageThresholdsBuilder
- statistics::StatisticsCollector
- strategy::Filter
- strategy::Just
- strategy::Map
- strategy::OneOf
- strategy::Range
- strategy::Zip
- test_runner::DefaultFormatter
- test_runner::JsonFormatter
- test_runner::TestContext
- test_runner::TestRunner
- test_runner::VerboseFormatter
Enums
Traits
- arbitrary::Arbitrary
- config::CustomCoverage
- ergonomic::auto_gen::AutoGen
- ergonomic::closure_property::PropertyClosure
- generator::Generator
- property::AsyncProperty
- property::Property
- rng::RngProvider
- shrink::Shrinkable
- strategy::Strategy
- test_runner::TestOutputFormatter
Macros
Attribute Macros
Derive Macros
Functions
- config::create_test_config
- config::create_test_config_with_overrides
- config::get_global_config
- config::set_global_config
- ergonomic::builder::property
- ergonomic::closure_property::check_with_closure
- ergonomic::closure_property::check_with_closure_config
- ergonomic::patterns::associative
- ergonomic::patterns::commutative
- ergonomic::patterns::distributive
- ergonomic::patterns::has_identity
- ergonomic::patterns::idempotent
- ergonomic::patterns::inverse
- ergonomic::patterns::monotonic_decreasing
- ergonomic::patterns::monotonic_increasing
- ergonomic::patterns::round_trip
- execution::check
- execution::check_async
- execution::check_async_with_config
- execution::check_with_config
- performance::check_parallel
- performance::lazy
- rng::create_rng
- rng::create_seeded_rng
- rng::global_rng_manager
- rng::set_global_seed
- shrink::strategies::binary_search_shrink
- shrink::strategies::bool_shrink
- shrink::strategies::char_shrink
- shrink::strategies::collection_shrink
- shrink::strategies::coordinated_field_shrink
- shrink::strategies::float_shrink
- shrink::strategies::linear_shrink
- shrink::strategies::map_shrink
- shrink::strategies::nested_collection_shrink
- shrink::strategies::recursive_shrink
- shrink::strategies::set_shrink
- shrink::strategies::signed_int_shrink
- shrink::strategies::string_shrink
- shrink::strategies::tuple_shrink
- shrink::strategies::unsigned_int_shrink
- strategy::just
- strategy::one_of
- strategy::range