adding test class for SSJava Inference Engine

diff --git a/Robust/src/Tests/ssJava/infer/makefile b/Robust/src/Tests/ssJava/infer/makefile
new file mode 100644 (file)
index 0000000..3eac87f
--- /dev/null
+++ b/Robust/src/Tests/ssJava/infer/makefile
@@ -0,0 +1,27 @@
+BUILDSCRIPT=../../../buildscript
+
+PROGRAM=test
+SOURCE_FILES=test.java
+
+BSFLAGS= -32bit -ssjava -ssjavadebug -printlinenum -mainclass $(PROGRAM)  -heapsize-mb 1000 -garbagestats -joptimize -optimize -debug #-nooptimize #src-after-pp #-debug
+
+default: $(PROGRAM)s.bin
+
+$(PROGRAM)s.bin: $(SOURCE_FILES) makefile
+       $(BUILDSCRIPT) $(BSFLAGS) -o $(PROGRAM)s -builddir sing $(SOURCE_FILES) 
+
+clean:
+       rm -f  $(PROGRAM)s.bin
+       rm -fr sing
+       rm -f tmp.c
+       rm -f  *~
+       rm -f  *.dot
+       rm -f  *.png
+       rm -f  *.txt
+       rm -f  aliases.txt
+       rm -f  mlpReport*txt
+       rm -f  results*txt
+       rm -f *log
+       rm -f coreprof.dat
+       rm -f trace.out
+       rm -f *.lat

diff --git a/Robust/src/Tests/ssJava/infer/test.java b/Robust/src/Tests/ssJava/infer/test.java
new file mode 100644 (file)
index 0000000..f448706
--- /dev/null
+++ b/Robust/src/Tests/ssJava/infer/test.java
@@ -0,0 +1,22 @@
+public class test{
+
+    @LATTICE("OUT<IN")
+       public static void main (@LOC("IN") String args[]){       
+       test t=new test();      
+       int i=0;
+       SSJAVA:
+       while(i<100){
+           t.doit();
+           i++;
+       }
+    }
+    
+    @LATTICE("")
+    public void doit(){
+       int a;
+       int b;
+       a = 5;
+       b = a;
+    }
+    
+}
\ No newline at end of file