don't do strong updates on array element references
authorjjenista <jjenista>
Mon, 23 Mar 2009 19:57:58 +0000 (19:57 +0000)
committerjjenista <jjenista>
Mon, 23 Mar 2009 19:57:58 +0000 (19:57 +0000)
commit5ed26f5295ed206abd65b6869fae9a7617b08d8c
tree438324f6f8e1b29d6897099186c900db6c7361bd
parentdf9ff58aa09ee7f9f9dbbb2e6cba04d39a9a2c34
don't do strong updates on array element references
Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java
Robust/src/Tests/OwnershipAnalysisTest/smalltest/makefile