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 Conjecture.Abstractions.Strategies.IStrategyFormatter<T> instances for common primitive types.
- ConjectureException
Thrown when a Conjecture health check fails (e.g., too many unsatisfied assumptions).
- ConjectureObservability
Static singletons for Conjecture's OpenTelemetry ActivitySource and Meter.
- ConjectureSettings
Immutable configuration settings for a Conjecture property test.
- ConjectureSettingsAttribute
Assembly-level attribute to configure default settings for all property tests in the assembly.
- ForConfiguration<T>
Configures property overrides for For<T>(Action<ForConfiguration<T>>).
- FormatterRegistry
Global registry mapping types to their Conjecture.Abstractions.Strategies.IStrategyFormatter<T> instances.
- FromAttribute<TProvider>
Specifies that a property-based test parameter should be generated using
TProviderinstead of the default type-inferred strategy.
- FromMethodAttribute
Specifies that a property-based test parameter should be generated by invoking a named static method on the test class.
- PartialConstructorContext
Ambient context that flows an IGenerationContext to partial constructors via AsyncLocal<T>.
- SampleAttribute
Provides a pre-supplied (seeded) example to run before generated examples in a property test.
- 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.
- Strategy
Static methods for creating and composing Conjecture strategies.
- StrategyExtensionProperties
Convenience extension properties for common strategy filters.
- StrategyExtensions
LINQ-style extension methods for composing strategies.
- StrategyMaxDepthAttribute
Caps the recursive generation depth for a self-referential or mutually recursive type to
maxDepth.
- StrategyRangeAttribute
Constrains the generated range of a numeric member to [
min,max].
- StrategyRegexAttribute
Constrains generated strings to match
pattern.
- StrategySamplingExtensions
Extensions for sampling values from Strategy<T> outside of a property test.
- StrategyStringLengthAttribute
Constrains generated string length to [
minLength,maxLength].
- 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 example 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.
- SeededStrategy<T>
A Strategy<T> paired with a fixed seed for deterministic sampling.
Interfaces
- IGenerationContext
Provides imperative generation and assumption operations within a
Strategy.Composebody.
- 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.
Enums
- IPAddressKind
Specifies which IP address families IPAddresses(IPAddressKind) should generate.