@firfi/quint-connect/dist/cli/compiled-evaluator-input.d.ts

Model-based testing framework connecting Quint specifications to TypeScript implementations

import { Effect, Schema } from "effect";
import { QuintError } from "./errors.js";
import type { RunGenerationOptions } from "./run-options.js";
interface PatchedCompiledInput {
    readonly input: string;
    readonly seedHex: string;
}
declare const CompiledEvaluatorInput: Schema.decodeTo<Schema.toType<Schema.Struct<{
    readonly source: Schema.String;
    readonly runtime: Schema.Struct<{
        readonly nruns: Schema.optional<Schema.Number>;
        readonly nsteps: Schema.optional<Schema.Number>;
        readonly ntraces: Schema.optional<Schema.Number>;
        readonly nthreads: Schema.optional<Schema.Number>;
    }>;
}>>, Schema.String, never, never>;
type CompiledEvaluatorInput = typeof CompiledEvaluatorInput.Type;
export declare const decodeCompiledEvaluatorInput: (input: unknown) => Effect.Effect<CompiledEvaluatorInput, QuintError>;
export declare const makeRandomSeedHex: () => string;
export declare const patchCompiledEvaluatorInput: (compiledInput: CompiledEvaluatorInput, opts: RunGenerationOptions, cpuCount: number, randomSeedHex: string) => PatchedCompiledInput;
export {};
//# sourceMappingURL=compiled-evaluator-input.d.ts.map