Searched refs:PositiveFlowEdges (Results 1 – 1 of 1) sorted by relevance
1273 auto PositiveFlowEdges = std::vector<std::vector<uint64_t>>(NumBlocks); in verifyOutput() local1276 PositiveFlowEdges[Jump.Source].push_back(Jump.Target); in verifyOutput()1288 for (uint64_t Dst : PositiveFlowEdges[Src]) { in verifyOutput()