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/26f7d07b3359098fcc551b0a1159703bb4c10e18
Thanks for the self-contained minimal example!
Best,
Tiago
_______________________________________________
graph-tool mailing list
graph-tool@skewed.de
http://lists.skewed.de/mailman/listinfo/graph-tool