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

Model-based testing framework connecting Quint specifications to TypeScript implementations

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;
//# sourceMappingURL=vitest-simple.d.ts.map