BUPKIS
    Preparing search index...

    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.

    fast-check Model-Based Testing

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

    Type Parameters

    • Model extends object
    • Real

    Hierarchy (View Summary)

    Index
    commands commandsConstraints initialState numRuns? randomType? runSize?
    commands: Arbitrary<Command<Model, Real>>[]
    commandsConstraints: CommandsContraints
    initialState: ModelRunSetup<Model, Real>
    numRuns?: undefined

    Number of runs before success: 100 by default

    Since 1.0.0

    randomType?: RandomType

    Type of random number generator to use.

    Omits ability to provide a builder function from pure-rand to avoid entraining a direct production dependency on pure-rand.

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

    Settings
    Member Visibility

    On This Page
    Properties