@firfi/quint-connect/dist/cli/run-options.js

Model-based testing framework connecting Quint specifications to TypeScript implementations

/** Canonical discriminator used by type guards and trace-generation policy. */
const resolveTraceGenerationMode = (opts) => opts.generation?.mode ?? "run";
export const isQuintTestGeneration = (opts) => resolveTraceGenerationMode(opts) === "test";
export const DEFAULT_N_TRACES = 10;
export const DEFAULT_TEST_MAX_SAMPLES = 10;
export const DEFAULT_MAX_SAMPLES = 10000;
export const DEFAULT_MAX_STEPS = 10;
//# sourceMappingURL=run-options.js.map