New upstream version 1.52.1+dfsg1

[rustc.git] / vendor / rustc-ap-rustc_data_structures / src / graph / iterate / tests.rs

diff --git a/vendor/rustc-ap-rustc_data_structures/src/graph/iterate/tests.rs b/vendor/rustc-ap-rustc_data_structures/src/graph/iterate/tests.rs
new file mode 100644 (file)
index 0000000..0e038e8
--- /dev/null
+++ b/vendor/rustc-ap-rustc_data_structures/src/graph/iterate/tests.rs
@@ -0,0 +1,22 @@
+use super::super::tests::TestGraph;
+
+use super::*;
+
+#[test]
+fn diamond_post_order() {
+    let graph = TestGraph::new(0, &[(0, 1), (0, 2), (1, 3), (2, 3)]);
+
+    let result = post_order_from(&graph, 0);
+    assert_eq!(result, vec![3, 1, 2, 0]);
+}
+
+#[test]
+fn is_cyclic() {
+    use super::super::is_cyclic;
+
+    let diamond_acyclic = TestGraph::new(0, &[(0, 1), (0, 2), (1, 3), (2, 3)]);
+    let diamond_cyclic = TestGraph::new(0, &[(0, 1), (1, 2), (2, 3), (3, 0)]);
+
+    assert!(!is_cyclic(&diamond_acyclic));
+    assert!(is_cyclic(&diamond_cyclic));
+}