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

Model-based testing framework connecting Quint specifications to TypeScript implementations

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