/**
 * This file is meant to provide consistent error messages throughout the tool.
 */
export declare const shouldNeverHappen: (bugLocation: string) => string;
export declare const minimumValue: (name: string, minimum: number, actual: number) => string;
export declare const maximumValue: (name: string, maximum: number, actual: number) => string;
export declare const singletonNotSet: (name: string) => string;
export declare const singletonAlreadySet: (name: string) => string;
export declare const emptyArray: (variableName: string) => string;
export declare const lessThanTwoOutgoingEdges: (nodeId: string, branchObjectiveFunctionId: string) => string;
export declare const moreThanTwoOutgoingEdges: (nodeId: string, branchObjectiveFunctionId: string) => string;
export declare const cannotFindTraceThatIsCovered: () => string;
//# sourceMappingURL=diagnostics.d.ts.map