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

Model-based testing framework connecting Quint specifications to TypeScript implementations

import { Effect } from "effect";
import { ItfTrace } from "../itf/schema.js";
import { QuintError } from "./errors.js";
export type ItfTraceJson = Readonly<Record<string, unknown>>;
export declare const writeTraceFiles: (outDir: string, traces: ReadonlyArray<ItfTraceJson>) => Effect.Effect<ReadonlyArray<string>, QuintError>;
export declare const readTraceFiles: (outDir: string) => Effect.Effect<ReadonlyArray<ItfTrace>, QuintError>;
//# sourceMappingURL=trace-files.d.ts.map