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

Model-based testing framework connecting Quint specifications to TypeScript implementations

import type { SimpleActionMap, SimpleGenerationOptions } from "./simple.js";
export declare const quintTest: <S, Actions extends SimpleActionMap>(testFn: (name: string, fn: () => Promise<unknown>, timeout?: number) => void, name: string, opts: SimpleGenerationOptions<S, Actions>, timeout?: number | undefined) => void;
//# sourceMappingURL=vitest-simple.d.ts.map