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

Model-based testing framework connecting Quint specifications to TypeScript implementations

import { run } from "./simple.js";
const DEFAULT_TIMEOUT = 30000;
export const quintTest = (testFn, name, opts, timeout) => {
    testFn(name, async () => {
        return await run(opts);
    }, timeout ?? DEFAULT_TIMEOUT);
};
//# sourceMappingURL=vitest-simple.js.map