@firfi/quint-connect
Version:
Model-based testing framework connecting Quint specifications to TypeScript implementations
21 lines • 918 B
TypeScript
import { Effect } from "effect";
import { QuintError } from "./errors.js";
import type { RunOptions } from "./run-options.js";
interface PatchedCompiledInput {
readonly input: string;
readonly seedHex: string;
}
interface CompiledEvaluatorInput {
readonly source: string;
readonly runtime: {
readonly nruns?: number | undefined;
readonly nsteps?: number | undefined;
readonly ntraces?: number | undefined;
readonly nthreads?: number | undefined;
};
}
export declare const decodeCompiledEvaluatorInput: (input: unknown) => Effect.Effect<CompiledEvaluatorInput, QuintError>;
export declare const makeRandomSeedHex: () => string;
export declare const patchCompiledEvaluatorInput: (compiledInput: CompiledEvaluatorInput, opts: RunOptions, cpuCount: number, randomSeedHex: string) => PatchedCompiledInput;
export {};
//# sourceMappingURL=compiled-evaluator-input.d.ts.map