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

Model-based testing framework connecting Quint specifications to TypeScript implementations

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