@syntest/search
Version:
The common core of the SynTest Framework
18 lines • 655 B
TypeScript
import { ControlFlowGraph, Node } from "@syntest/cfg";
import { Trace } from "../../Trace";
export declare class ApproachLevel {
calculate(cfg: ControlFlowGraph, node: Node, traces: Trace[]): {
approachLevel: number;
closestCoveredNode: Node;
closestCoveredBranchTrace: Trace;
lastEdgeType: boolean;
statementFraction: number;
};
_findClosestCoveredBranch(cfg: ControlFlowGraph, from: string, targets: Set<string>): {
approachLevel: number;
closestCoveredBranch: Node;
lastEdgeType: boolean;
statementFraction: number;
};
}
//# sourceMappingURL=ApproachLevel.d.ts.map