From 88d5858f55ea824cd9f09d8d3481a9a85aea3fa8 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ludovic=20Court=C3=A8s?= Date: Sun, 13 Dec 2015 21:41:52 +0100 Subject: [PATCH] graph: Add synthetic test. * tests/graph.scm ("node-transitive-edges, no duplicates"): New test. --- tests/graph.scm | 11 +++++++++++ 1 file changed, 11 insertions(+) diff --git a/tests/graph.scm b/tests/graph.scm index ad8aea0ada..04c6e74279 100644 --- a/tests/graph.scm +++ b/tests/graph.scm @@ -250,6 +250,17 @@ edges." (bootstrap? package))) diff)))))))) +(test-assert "node-transitive-edges, no duplicates" + (run-with-store %store + (let* ((p0 (dummy-package "p0")) + (p1a (dummy-package "p1a" (inputs `(("p0" ,p0))))) + (p1b (dummy-package "p1b" (inputs `(("p0" ,p0))))) + (p2 (dummy-package "p2" (inputs `(("p1a" ,p1a) ("p1b" ,p1b)))))) + (mlet %store-monad ((edges (node-edges %package-node-type + (list p2 p1a p1b p0)))) + (return (lset= eq? (node-transitive-edges (list p2) edges) + (list p1a p1b p0))))))) + (test-end "graph")