export declare class TraceabilityUtility {
    private static coveredSpecs;
    static registerCoveredSpecs(specList: string[]): void;
    static addCoveredSpecs(specsList: string[]): void;
    static clearCoveredSpecs(): void;
    static dumpCoveredSpecs(): void;
    static getCoveredSpecsPrettyString(): string;
    static hasCoveredSpecs(): boolean;
}