import type { Spec, ProjectKnowledge } from '../../../types/index.js';
/**
 * Generate a complete property-based test file as a string.
 * Adapts output to fast-check (JS/TS), hypothesis (Python), jqwik (Java/Kotlin),
 * or pseudo-code generic format based on detected framework.
 *
 * @param spec - The spec metadata (title, id used for file naming/headers).
 * @param context - Project knowledge (language, stack) for framework detection.
 * @param criteria - Acceptance criteria strings extracted from spec.md by the caller.
 */
export declare function generatePropertyBasedTests(spec: Spec, context: ProjectKnowledge, criteria?: string[]): string;
//# sourceMappingURL=property-based-generator.d.ts.map