On 16.01.2011 00:01, Peter Kümmel wrote:
Graph has a container with pointers (vertices_) but now copy constructor, this could not work.
Checked this again and I was wrong, the pointers must be to internal objects which are copied by value (there's nor "new" in Graph.cpp, not API with a pointer). I also checked if there are two instances of Graph when it crashes, and there is only one, so we have a real synchronization problem. Peter
