add test for regression in CCGraph

This commit is contained in:
Simon Cruanes 2017-02-13 15:26:44 +01:00
parent 858a360ab0
commit 38f5692e21

View file

@ -286,6 +286,21 @@ module Traverse = struct
} in } in
dfs_tag ?eq ~tags ~graph seq dfs_tag ?eq ~tags ~graph seq
end end
(*$R
let l =
Traverse.Event.dfs ~graph:divisors_graph (Sequence.return 345614)
|> Sequence.to_list in
let expected =
[`Enter (345614, 0, []); `Edge (345614, (), 172807, `Forward);
`Enter (172807, 1, [(345614, (), 172807)]); `Edge (172807, (), 1, `Forward);
`Enter (1, 2, [(172807, (), 1); (345614, (), 172807)]); `Exit 1; `Exit 172807;
`Edge (345614, (), 2, `Forward); `Enter (2, 3, [(345614, (), 2)]);
`Edge (2, (), 1, `Cross); `Exit 2; `Edge (345614, (), 1, `Cross);
`Exit 345614]
in
assert_equal expected l
*)
end end
(** {2 Cycles} *) (** {2 Cycles} *)