Open camlspotter opened 5 years ago
This is another instance of https://github.com/backtracking/ocamlgraph/issues/58, ~that we furthermore forgot to document in the current Changes
~. We should probably do a release that ships a fixed version.
@backtracking ?
@backtracking, I stumbled across this exact unexpected behavior in a project that is trying to make sense of the French income tax code : https://framagit.org/dgfip/ir-calcul. I am a fan of this graph library, and would be grateful if you could release a new version of the opam package so that we can benefit from @johanneskloos' changes in #69.
I wrote a reachability test using the same code explained in
fixpoint.mli
, but the result is puzzling.Here is a simple reproducible example. I create here a small graph
1 -> 2 -> 3
and see which vertices are reachable from1
, then from2
. I expect2
and3
are reported as reachable from2
, but the code linked withocamlgraph.1.8.8
does not:Expected result is:
but the actual output is:
Is it a bug of
Fixpoint
or I misunderstand something?