@firfi/quint-connect
Version:
Model-based testing framework connecting Quint specifications to TypeScript implementations
5 lines • 307 B
TypeScript
import { Effect } from "effect";
import { QuintError } from "./errors.js";
import type { ItfTraceJson } from "./trace-files.js";
export declare const normalizeEvaluatorOutput: (stdout: string) => Effect.Effect<ReadonlyArray<ItfTraceJson>, QuintError>;
//# sourceMappingURL=compiled-evaluator-output.d.ts.map