From 7105221ff085609df64f17f72ae2b7a0c47de67b Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Fri, 23 Oct 2015 18:38:29 +0200 Subject: [PATCH] add a test in `CCGraph` --- src/data/CCGraph.ml | 6 ++++++ src/data/CCGraph.mli | 2 +- 2 files changed, 7 insertions(+), 1 deletion(-) diff --git a/src/data/CCGraph.ml b/src/data/CCGraph.ml index 72781d08..7b323a2e 100644 --- a/src/data/CCGraph.ml +++ b/src/data/CCGraph.ml @@ -339,6 +339,12 @@ let topo_sort ?eq ?rev ?(tbl=mk_table 128) ~graph seq = let idx_j = CCList.find_idx ((=)j) l |> CCOpt.get_exn |> fst in \ idx_i < idx_j) \ [ 42, 21; 14, 2; 3, 1; 21, 7; 42, 3] + let l = topo_sort ~rev:true ~graph:divisors_graph (Seq.return 42) in \ + List.for_all (fun (i,j) -> \ + let idx_i = CCList.find_idx ((=)i) l |> CCOpt.get_exn |> fst in \ + let idx_j = CCList.find_idx ((=)j) l |> CCOpt.get_exn |> fst in \ + idx_i > idx_j) \ + [ 42, 21; 14, 2; 3, 1; 21, 7; 42, 3] *) (** {2 Lazy Spanning Tree} *) diff --git a/src/data/CCGraph.mli b/src/data/CCGraph.mli index e7f75193..340b312c 100644 --- a/src/data/CCGraph.mli +++ b/src/data/CCGraph.mli @@ -235,7 +235,7 @@ val topo_sort_tag : ?eq:('v -> 'v -> bool) -> graph:('v, 'e) t -> 'v sequence -> 'v list -(** Same as {!topo_sort} *) +(** Same as {!topo_sort} but uses an explicit tag set *) (** {2 Lazy Spanning Tree} *)