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