Searched refs:Decisions (Results 1 – 3 of 3) sorted by relevance
690 SmallVector<DecisionRecord> Decisions; member in __anonaf66dd530411::MCDCDecisionRecorder694 assert(Decisions.empty() && "All Decisions have not been resolved"); in ~MCDCDecisionRecorder()699 Decisions.emplace_back(Decision); in registerDecision()703 any_of(Decisions, [&Expansion](auto &Decision) { in recordExpansion()720 for (auto DecisionIter = Decisions.begin(), DecisionEnd = Decisions.end(); in processBranch()731 Decisions.erase(DecisionIter); // No longer used. in processBranch()
1584 Decisions . . . . . . . . . . . . . . . 659--668
11868 title = "Dynamic Verification of Operating System Decisions",