@firfi/quint-connect/dist/vitest.js

Model-based testing framework connecting Quint specifications to TypeScript implementations

import { quintRun } from "./runner/runner.js";
export { quintTest } from "./vitest-simple.js";
const DEFAULT_TIMEOUT = 30000;
export const quintIt = (
// eslint-disable-next-line @typescript-eslint/no-explicit-any
itEffect, name, opts, timeout) => {
    itEffect(name, () => quintRun(opts), { timeout: timeout ?? DEFAULT_TIMEOUT });
};
//# sourceMappingURL=vitest.js.map