interface BranchCoverage {
    file: string;
    line: number;
    condition: any;
    hit: boolean;
}
interface FunctionCoverage {
    file: string;
    line: number;
    name: string;
    hit: boolean;
}
interface CallCoverage {
    file: string;
    line: number;
    callee: string;
    hit: boolean;
}
export declare class CoverageTracker {
    private branches;
    private functions;
    private calls;
    private currentFile;
    private z3;
    constructor(z3Context: any);
    init(file: string): void;
    traceBranch(file: string, line: number, condition: any): void;
    traceFunction(file: string, line: number, name: string): void;
    traceCall(file: string, line: number, callee: string): void;
    traceAndExecuteCall(file: string, line: number, calleeName: string, callee: Function, args: any[]): any;
    getCoverage(): {
        branches: BranchCoverage[];
        functions: FunctionCoverage[];
        calls: CallCoverage[];
    };
    reset(): void;
}
export declare function createCoverageTracker(): Promise<CoverageTracker>;
export {};