bug fix...wasn't adding out of context nodes that get summarized to set of ndoes...
authorbdemsky <bdemsky>
Wed, 6 Apr 2011 20:01:46 +0000 (20:01 +0000)
committerbdemsky <bdemsky>
Wed, 6 Apr 2011 20:01:46 +0000 (20:01 +0000)
commit2f6b252202bdedf2e80888df1c7a0eb4e3b0c374
treedec7cda4bde8b94b7ffc9e60850d6b053336a889
parentb673701ee397ad6dba13a1f4cc93f71b28b787d9
bug fix...wasn't adding out of context nodes that get summarized to set of ndoes that exist in context...
Robust/src/Analysis/Pointer/Pointer.java