Fixed bug where one edge is traversed multiple times even if it's the same allocsite...
authorstephey <stephey>
Sat, 23 Oct 2010 22:09:50 +0000 (22:09 +0000)
committerstephey <stephey>
Sat, 23 Oct 2010 22:09:50 +0000 (22:09 +0000)
commite4350b78fe90515767d9a0aae5cd0fa21688ed72
tree7789b938e955b47b4c192b29a7bd78c3dd349797
parent2f62382a007680dbf3e2c934ce10a24b04ea3a3b
Fixed bug where one edge is traversed multiple times even if it's the same allocsite. Turns out, the .equals in allocsite did not compare their ID's.

Changes:
Robust/src/IR/Flat/RuntimeConflictResolver.java