fixes on analyses to compile the eyetracking benchmark
authoryeom <yeom>
Mon, 5 Dec 2011 23:57:49 +0000 (23:57 +0000)
committeryeom <yeom>
Mon, 5 Dec 2011 23:57:49 +0000 (23:57 +0000)
commit721409a448d35d8ef42faf7fbbe96d4e425081ae
tree9f0292eca1e3c558d785826c1582b1395dc1f7b3
parentec6a6e2b324b8c2fe856d22ab1d7b469d1a40591
fixes on analyses to compile the eyetracking benchmark
Robust/src/Analysis/Loops/LoopTerminate.java
Robust/src/Analysis/SSJava/DefinitelyWrittenCheck.java
Robust/src/Analysis/SSJava/SSJavaAnalysis.java