16 Oct
2014
16 Oct
'14
10:53 a.m.
On 16.10.2014 10:31, Guillaume Gay wrote:
Hi Tiago,
I managed to get a self contained example. The strange behaviour appears when filtering/unfiltering between the moment I update the edge list propertymap and the moment I query this list.
This is indeed a bug. It has been fixed now in git: https://git.skewed.de/count0/graph-tool/commit/26f7d07b3359098fcc551b0a11597... Thanks for the self-contained minimal example! Best, Tiago -- Tiago de Paula Peixoto <tiago@skewed.de>