Method dot

src/detector/lock/mod.rs:936–941

(&self)

                    .take(MAX_PATH_NUM)
                    .collect::<Vec<_>>();
            for path in cycle_paths {
                // `path` forms a cycle, where adjacent nodes are directly connected and last_node connects to first_node.
                // Different `path`s beginning with different nodes may denote the same cycle if their edges are the same.
                // Thus we use `edge_sets` to deduplicate the cycle paths.
                let set = path
                    .iter()
                    .zip(path.iter().skip(1).chain(path.first()))
                    .map(|(a, b)| (*a, *b))
                    .collect::<FxHashSet<_>>();