@firfi/quint-connect/dist/vitest.d.ts

Model-based testing framework connecting Quint specifications to TypeScript implementations

import type { Effect } from "effect";
import type { ActionMap } from "./driver/types.js";
import type { QuintGenerationOptions } from "./runner/runner.js";
export { quintTest } from "./vitest-simple.js";
export declare const quintIt: <S, Actions extends ActionMap<E, never>, E, StateE, StateR>(itEffect: (name: string, fn: () => Effect.Effect<any, any, any>, options?: {
    readonly timeout?: number;
}) => void, name: string, opts: QuintGenerationOptions<S, E, never, Actions, StateE, StateR>, timeout?: number | undefined) => void;
//# sourceMappingURL=vitest.d.ts.map