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

Model-based testing framework connecting Quint specifications to TypeScript implementations

import { Context, Layer } from "effect";
import { generateTraces } from "./quint.js";
export class TraceGeneration extends Context.Tag("@firfi/quint-connect/TraceGeneration")() {
}
export const traceGenerationLayer = Layer.succeed(TraceGeneration, { generate: generateTraces });
//# sourceMappingURL=trace-generation.js.map