add new compilation flag -ssjavainfer for the location inference.
authoryeom <yeom>
Fri, 17 Feb 2012 20:12:54 +0000 (20:12 +0000)
committeryeom <yeom>
Fri, 17 Feb 2012 20:12:54 +0000 (20:12 +0000)
commit25e0a107717c4ddd7b27a5f9a9fc3385888cef91
tree082a5d09598e11b6619a9d55f8c6e6efb9223a94
parent34c64963391674dd447d6714539302f9e64cd037
add new compilation flag -ssjavainfer for the location inference.
Robust/src/Analysis/SSJava/SSJavaAnalysis.java
Robust/src/IR/State.java
Robust/src/Main/Main.java
Robust/src/buildscript