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

Model-based testing framework connecting Quint specifications to TypeScript implementations

import { Effect } from "effect";
import type { ItfTrace } from "../itf/schema.js";
import type { QuintNotFoundError } from "./errors.js";
import { QuintError } from "./errors.js";
import type { TraceGenerationOptions } from "./run-options.js";
export { QuintError, QuintNotFoundError } from "./errors.js";
export type { QuintRunGeneration, QuintTestGeneration, RunGenerationOptions, RunOptions, TestGenerationOptions, TraceGenerationMode, TraceGenerationOptions } from "./run-options.js";
export declare const generateTraces: (opts: TraceGenerationOptions) => Effect.Effect<ReadonlyArray<ItfTrace>, QuintError | QuintNotFoundError>;
//# sourceMappingURL=quint.d.ts.map