during token propagation for store, change to, don't just add, newly computed reachab...
authorjjenista <jjenista>
Wed, 4 Mar 2009 18:21:26 +0000 (18:21 +0000)
committerjjenista <jjenista>
Wed, 4 Mar 2009 18:21:26 +0000 (18:21 +0000)
commite9d9d44538693494b3e85005addff129fae84781
tree3229185877a6c2be8fa09f589024dcf4865acfd0
parenteeccfb53201479463eeaed51cdc1f0f542297798
during token propagation for store, change to, don't just add, newly computed reachability states
Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java
Robust/src/Tests/OwnershipAnalysisTest/test05/test.java