From: david <david>
Date: Sat, 3 Sep 2011 00:53:01 +0000 (+0000)
Subject: adding test class for SSJava Inference Engine
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=f14d6ac3bb53b6575634580b7bff19dc6bfe46bd;p=IRC.git

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
index 00000000..3eac87f3
--- /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
index 00000000..f4487062
--- /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