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

Model-based testing framework connecting Quint specifications to TypeScript implementations

import { NodeContext } from "@effect/platform-node";
import { it } from "@effect/vitest";
import { Effect } from "effect";
import { test } from "vitest";
import { quintRun } from "./runner/runner.js";
import { run } from "./simple.js";
const DEFAULT_TIMEOUT = 30000;
export const quintTest = (name, opts, timeout) => {
    test(name, async () => {
        return await run(opts);
    }, timeout ?? DEFAULT_TIMEOUT);
};
export const quintIt = (name, opts, timeout) => {
    it.effect(name, () => quintRun(opts).pipe(Effect.provide(NodeContext.layer), Effect.scoped), { timeout: timeout ?? DEFAULT_TIMEOUT });
};
//# sourceMappingURL=vitest.js.map