@firfi/quint-connect
Version:
Model-based testing framework connecting Quint specifications to TypeScript implementations
9 lines • 521 B
TypeScript
import type { Effect } from "effect";
import type { ItfTrace } from "../itf/schema.js";
import type { QuintError, QuintNotFoundError } from "./errors.js";
import type { TraceGenerationOptions } from "./run-options.js";
export interface TraceGenerationAdapter {
readonly canGenerate: (opts: TraceGenerationOptions) => boolean;
readonly generate: (opts: TraceGenerationOptions, outDir: string) => Effect.Effect<ReadonlyArray<ItfTrace>, QuintError | QuintNotFoundError>;
}
//# sourceMappingURL=trace-adapter.d.ts.map