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

Model-based testing framework connecting Quint specifications to TypeScript implementations

import type * as CommandExecutor from "@effect/platform/CommandExecutor";
import * as FileSystem from "@effect/platform/FileSystem";
import * as Path from "@effect/platform/Path";
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;
}
export declare const generateTraces: (opts: RunOptions) => Effect.Effect<ReadonlyArray<ItfTrace>, QuintError | QuintNotFoundError, FileSystem.FileSystem | Path.Path | CommandExecutor.CommandExecutor>;
export {};
//# sourceMappingURL=quint.d.ts.map