Problem copying FastRBTree?
There seems to be an issue with copying a FastRBTree through the tree.copy() method; but I'm not sure the problem is there. I get a segmentation violation and can't exactly pinpoint where it happens; for example, for exactly the same data it happens at different places if I run my code through the IDE (Eclipse PyDev) or from the command line. Also, if I use the PyDev debugger, the issue doesn't happen. If I use RBTree, the issue doesn't happen.
Attached the operations that are done on the tree if I use the IDE to run the code.