@syntest/search
Version:
The common core of the SynTest Framework
13 lines • 874 B
TypeScript
/**
* 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