trim outputs for benchmarking
authorjjenista <jjenista>
Wed, 12 Nov 2008 06:12:29 +0000 (06:12 +0000)
committerjjenista <jjenista>
Wed, 12 Nov 2008 06:12:29 +0000 (06:12 +0000)
commit2e9de4a16ea7db11b7870a25066b6d27401b266d
tree357e94e691117e756ce2ef7578bd7c1443b3ad77
parent9f9e19c7df5d69288e4bb0f53ea068fb3afe12d0
trim outputs for benchmarking
Robust/src/Analysis/OwnershipAnalysis/OwnershipAnalysis.java
Robust/src/Benchmarks/Ownership/makefile
Robust/src/Benchmarks/Ownership/summary.txt