@firfi/quint-connect/dist/cli/trace-generation.js

Model-based testing framework connecting Quint specifications to TypeScript implementations

import { Context, Effect, Layer } from "effect";
import { generateTraces } from "./quint.js";
export class TraceGeneration extends Context.Service()("@firfi/quint-connect/TraceGeneration") {
}
export const traceGenerationLayer = Layer.sync(TraceGeneration, () => TraceGeneration.of({
    generate: Effect.fn("TraceGeneration.generate")(function* (opts) {
        return yield* generateTraces(opts);
    })
}));
//# sourceMappingURL=trace-generation.js.map