Searched refs:CheckersOutSet (Results 1 – 1 of 1) sorted by relevance
2782 ExplodedNodeSet CheckersOutSet; in processBranch() local2783 getCheckerManager().runCheckersForBranchCondition(Condition, CheckersOutSet, in processBranch()2786 if (CheckersOutSet.empty()) in processBranch()2789 BranchNodeBuilder builder(CheckersOutSet, Dst, BldCtx, DstT, DstF); in processBranch()2790 for (ExplodedNode *PredN : CheckersOutSet) { in processBranch()