import { ContractVerifierConnector } from '../connectors';
import { MultiTestInvoker, RunTestCallback } from '../core/executeExample/types';
import { CaseConfig } from '../core/types';
import { AnyMockDescriptorType, ContractDescription } from '../entities/types';
export declare class ContractVerifier {
    coreVerifier: ContractVerifierConnector;
    config: CaseConfig;
    constructor(config: CaseConfig, callback: RunTestCallback);
    getAvailableContractDescriptions(): ContractDescription[];
    runVerification<T extends AnyMockDescriptorType>(invoker: MultiTestInvoker<T>, configOverrides?: CaseConfig): void;
}