Interface PropertyTestConfigVariantModel<Model, Real>

Variant configuration for model-based testing with fast-check commands.

Enables stateful property testing where a sequence of commands is applied to both a model (expected behavior) and a real implementation, verifying they remain consistent.

See

fast-check Model-Based Testing

interface PropertyTestConfigVariantModel<Model extends object, Real> {
    commands: Arbitrary<Command<Model, Real>>[];
    commandsConstraints: CommandsContraints;
    initialState: ModelRunSetup<Model, Real>;
    numRuns?: undefined;
    runSize?: "small" | "medium" | "large";
}

Type Parameters

Model extends object
Real

Hierarchy (View Summary)

PropertyTestConfigParameters
- PropertyTestConfigVariantModel

Index

Properties

commands commandsConstraints initialState numRuns? runSize?

Properties

commands

commands: Arbitrary<Command<Model, Real>>[]

commandsConstraints

commandsConstraints: CommandsContraints

initialState

initialState: ModelRunSetup<Model, Real>

`Optional`numRuns

numRuns?: undefined

Number of runs before success: 100 by default

Remarks

Since 1.0.0

`Optional`runSize

runSize?: "small" | "medium" | "large"