Searched refs:ConditionID (Results 1 – 1 of 1) sorted by relevance
646 auto ConditionID = Branch.MCDCParams.ID; in addBranch() local647 assert(ConditionID > 0 && "ConditionID should begin with 1"); in addBranch()649 if (ConditionIDs.contains(ConditionID) || in addBranch()650 ConditionID > DecisionRegion->MCDCParams.NumConditions) in addBranch()660 if (ConditionID == 1) in addBranch()666 ConditionIDs.insert(ConditionID); in addBranch()