add allocation depth to alias output file
authorjjenista <jjenista>
Thu, 4 Sep 2008 18:17:45 +0000 (18:17 +0000)
committerjjenista <jjenista>
Thu, 4 Sep 2008 18:17:45 +0000 (18:17 +0000)
commit4ab4d5d15ccb5930069b0cd66b10914c812e7cd0
tree97a946800164f0d1c5ab43a04789536e012e9a12
parent7aaaddc2eb8224a867df399aaf2c9cd072021b51
add allocation depth to alias output file
Robust/src/Analysis/OwnershipAnalysis/OwnershipAnalysis.java