Searched refs:got_succs (Results 1 – 7 of 7) sorted by relevance
1580 let mut got_succs = BTreeSet::<Ebb>::new(); in cfg_integrity() localVariable1586 got_succs.extend(cfg.succ_iter(ebb)); in cfg_integrity()1588 let missing_succs: Vec<Ebb> = expected_succs.difference(&got_succs).cloned().collect(); in cfg_integrity()1599 let excess_succs: Vec<Ebb> = got_succs.difference(&expected_succs).cloned().collect(); in cfg_integrity()1640 got_succs.clear(); in cfg_integrity()
1690 let mut got_succs = BTreeSet::<Block>::new(); in cfg_integrity() localVariable1696 got_succs.extend(cfg.succ_iter(block)); in cfg_integrity()1699 expected_succs.difference(&got_succs).cloned().collect(); in cfg_integrity()1708 let excess_succs: Vec<Block> = got_succs.difference(&expected_succs).cloned().collect(); in cfg_integrity()1749 got_succs.clear(); in cfg_integrity()
1702 let mut got_succs = BTreeSet::<Block>::new(); in cfg_integrity() localVariable1708 got_succs.extend(cfg.succ_iter(block)); in cfg_integrity()1711 expected_succs.difference(&got_succs).cloned().collect(); in cfg_integrity()1720 let excess_succs: Vec<Block> = got_succs.difference(&expected_succs).cloned().collect(); in cfg_integrity()1761 got_succs.clear(); in cfg_integrity()
1700 let mut got_succs = BTreeSet::<Block>::new(); in cfg_integrity() localVariable1706 got_succs.extend(cfg.succ_iter(block)); in cfg_integrity()1709 expected_succs.difference(&got_succs).cloned().collect(); in cfg_integrity()1718 let excess_succs: Vec<Block> = got_succs.difference(&expected_succs).cloned().collect(); in cfg_integrity()1759 got_succs.clear(); in cfg_integrity()