import type { Spec, ProjectKnowledge, TestFile } from '../../../types/index.js';
/**
 * Build a TestFile for property-based tests of the given spec.
 * The file content is generated by the engine layer.
 *
 * @param criteria - Acceptance criteria strings from spec.md (optional).
 *   When provided, the generator will extract property-based tests from them.
 *   When omitted, a placeholder file is generated with instructions.
 */
export declare function buildPropertyBasedTestFile(spec: Spec, knowledge: ProjectKnowledge, testDir: string, autoGenerate: boolean, criteria?: string[]): TestFile;
//# sourceMappingURL=property-based-generator.d.ts.map