now it works fine with three benchmarks
authoryeom <yeom>
Fri, 7 Dec 2012 23:21:50 +0000 (23:21 +0000)
committeryeom <yeom>
Fri, 7 Dec 2012 23:21:50 +0000 (23:21 +0000)
commitb72257877d285dc2879e3360d967b909de887c72
treea0d2fbbf73a190572dd5fbf0b08ef01c40b9e76a
parentce5159c8570f28f7b37e2a19c6c62d01c501b2c2
now it works fine with three benchmarks
Robust/src/Analysis/SSJava/LocationInference.java
Robust/src/Analysis/SSJava/SSJavaAnalysis.java