| commit | bc7e340000bc75fdf6cc80e8e042c46279ee0274 | [log] [tgz] |
|---|---|---|
| author | bluss <bluss@users.noreply.github.com> | Thu Sep 29 12:19:52 2016 +0200 |
| committer | bluss <bluss@users.noreply.github.com> | Thu Sep 29 12:19:52 2016 +0200 |
| tree | ffb6900b2a39f73a9248d57854f4b02c95d46169 | |
| parent | b52c10f89a8accaa4ed21db40c3d3dec6dbf40d0 [diff] |
Fix a bug in SubTopo
It did not correctly limit the count of incoming edges to those only in
the subgraph. This was discovered by the existing quickcheck test
failing (so it was pretty rare).
Fix it by introducing another visitor map ("discovered") to map out
which nodes participate in the subgraph.