@firfi/quint-connect/dist/cli/quint.d.ts

Model-based testing framework connecting Quint specifications to TypeScript implementations

import { Effect, Schema } from "effect";
import { ItfTrace } from "../itf/schema.js";
declare const QuintError_base: Schema.TaggedErrorClass<QuintError, "QuintError", {
    readonly _tag: Schema.tag<"QuintError">;
} & {
    message: typeof Schema.String;
    stderr: Schema.optional<typeof Schema.String>;
    exitCode: Schema.optional<typeof Schema.Number>;
}>;
export declare class QuintError extends QuintError_base {
}
declare const QuintNotFoundError_base: Schema.TaggedErrorClass<QuintNotFoundError, "QuintNotFoundError", {
    readonly _tag: Schema.tag<"QuintNotFoundError">;
} & {
    message: typeof Schema.String;
}>;
export declare class QuintNotFoundError extends QuintNotFoundError_base {
}
export interface RunOptions {
    readonly spec: string;
    readonly seed?: string | undefined;
    readonly nTraces?: number | undefined;
    readonly maxSteps?: number | undefined;
    readonly maxSamples?: number | undefined;
    readonly init?: string | undefined;
    readonly step?: string | undefined;
    readonly main?: string | undefined;
    readonly invariants?: ReadonlyArray<string> | undefined;
    readonly witnesses?: ReadonlyArray<string> | undefined;
    readonly backend?: "typescript" | "rust" | undefined;
    readonly verbose?: boolean | undefined;
    readonly traceDir?: string | undefined;
    /**
     * Path to a pre-compiled evaluator input JSON file (produced by `quint-connect-compile`).
     * When provided and the file exists, skips `quint run` entirely and calls the Rust
     * evaluator directly. The file contains the parsed spec + resolver table, so the 15s+
     * parse/typecheck overhead is eliminated on repeat runs.
     *
     * The runtime parameters (maxSamples, maxSteps, nTraces, seed) are patched into the
     * cached input before sending to the evaluator.
     */
    readonly compiledInput?: string | undefined;
}
export declare const generateTraces: (opts: RunOptions) => Effect.Effect<ReadonlyArray<ItfTrace>, QuintError | QuintNotFoundError>;
export {};
//# sourceMappingURL=quint.d.ts.map