declare module "../../../types/global-options.js" {
    interface GlobalOptions {
        coverage: boolean;
    }
}
declare module "../../../types/config.js" {
    interface CoverageUserConfig {
        /**
         * Globs of Solidity source files to exclude from coverage instrumentation.
         * A project file whose project-relative source name matches any of these
         * globs is not instrumented during a `--coverage` run, and so does not
         * appear in coverage reports.
         */
        skipFiles?: string[];
    }
    interface HardhatUserConfig {
        coverage?: CoverageUserConfig;
    }
    interface CoverageConfig {
        skipFiles: string[];
    }
    interface HardhatConfig {
        coverage: CoverageConfig;
    }
}
export {};
//# sourceMappingURL=type-extensions.d.ts.map