Namespace Conjecture.Core
Classes
- ArbitraryAttribute
Marks a type for automatic
IStrategyProviderderivation by the source generator.
- Assume
Provides assumption helpers for filtering property test inputs.
- BuiltInFormatters
Built-in IStrategyFormatter<T> instances for common primitive types.
- ConjectureException
Thrown when a Conjecture health check fails (e.g., too many unsatisfied assumptions).
- ConjectureSettings
Immutable configuration settings for a Conjecture property test.
- ConjectureSettingsAttribute
Assembly-level attribute to configure default settings for all property tests in the assembly.
- DataGen
Standalone data generation utilities for sampling strategy values outside of a property test.
- ExampleAttribute
Provides an explicit example to run before generated examples in a property test.
- FormatterRegistry
Global registry mapping types to their IStrategyFormatter<T> instances.
- FromAttribute<TProvider>
Specifies that a property-based test parameter should be generated using
TProviderinstead of the default type-inferred strategy.
- FromFactoryAttribute
Specifies that a property-based test parameter should be generated by invoking a named static factory method on the test class.
- Generate
Factory methods for creating and composing Conjecture strategies.
- StateMachineFormatter<TState>
Formats a StateMachineRun<TState> counterexample as a human-readable step-sequence showing the exact commands that led to an invariant violation.
- StateMachineRun<TState>
Represents the result of a single stateful test run, containing the sequence of executed steps, the final state, and information about any invariant violation that occurred.
- StrategyExtensionProperties
Convenience extension properties for common strategy filters.
- StrategyExtensions
LINQ-style extension methods for composing strategies.
- Strategy<T>
Base class for all Conjecture strategies that generate values of type
T.
- Target
Provides targeting helpers to guide property test generation toward interesting input regions.
- UnsatisfiedAssumptionException
Thrown when a
Wherefilter exhausts its retry budget, marking the test case as invalid.
Structs
- ExecutedStep<TState>
Represents a single executed step in a stateful test run, capturing the resulting state and a human-readable label for the command that was applied.
Interfaces
- IGeneratorContext
Provides imperative draw and assume operations within a
Generate.Composefactory.
- IOutputFormatter
Serializes a sequence of generated values to a Stream.
- IStateMachine<TState, TCommand>
Defines a stateful system under test for use with Conjecture's stateful testing engine.
- IStrategyFormatter<T>
Formats a counterexample value of type
Tfor display in failure messages.
- IStrategyProvider
Non-generic marker interface used as a generic constraint on FromAttribute<TProvider>.
- IStrategyProvider<T>
Provides a Strategy<T> instance for use in property-based tests.