@syntest/core
Version:
The common core of the SynTest Framework
19 lines • 757 B
TypeScript
export declare class BranchDistance {
/**
* Calculate the branch distance
*
* @param opcode the opcode (the comparison operator)
* @param left the left values of the comparison (multiple execution traces)
* @param right the right values of the comparison (multiple execution traces)
* @param target the side of the branch you want to cover
*/
static branchDistanceNumeric(opcode: string, left: number[], right: number[], target: boolean): number;
private static normalize;
private static equalNumeric;
private static notEqualNumeric;
private static greater;
private static smallerEqual;
private static greaterEqual;
private static smaller;
}
//# sourceMappingURL=BranchDistance.d.ts.map