From f3e3c0328bd386e32cb9b444e8afcfd599157a9c Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Fri, 28 Jul 2006 18:34:00 +0000
Subject: [PATCH] Test cases

---
 Robust/src/Tests/Array.java           |  2 ++
 Robust/src/Tests/Array2.java          | 19 +++++++++++++++++++
 Robust/src/Tests/BoundsFail.java      |  7 +++++++
 Robust/src/Tests/BoundsFail2.java     |  7 +++++++
 Robust/src/Tests/BoundsFail3.java     |  7 +++++++
 Robust/src/Tests/BoundsFail4.java     |  7 +++++++
 Robust/src/Tests/DoTests              | 11 +++++++++++
 Robust/src/Tests/Test.java            |  8 +++++---
 Robust/src/Tests/While.java           |  7 +++++++
 Robust/src/Tests/dotest               |  6 ++++++
 Robust/src/Tests/virtualcalltest.java |  3 ++-
 11 files changed, 80 insertions(+), 4 deletions(-)
 create mode 100644 Robust/src/Tests/Array2.java
 create mode 100644 Robust/src/Tests/BoundsFail.java
 create mode 100644 Robust/src/Tests/BoundsFail2.java
 create mode 100644 Robust/src/Tests/BoundsFail3.java
 create mode 100644 Robust/src/Tests/BoundsFail4.java
 create mode 100755 Robust/src/Tests/DoTests
 create mode 100644 Robust/src/Tests/While.java
 create mode 100755 Robust/src/Tests/dotest

diff --git a/Robust/src/Tests/Array.java b/Robust/src/Tests/Array.java
index 6fb79478..7a272d0d 100644
--- a/Robust/src/Tests/Array.java
+++ b/Robust/src/Tests/Array.java
@@ -5,6 +5,8 @@ public class Array {
 	int i=2;
 	a[i]=4;
 	System.printInt(a[2]);
+	System.printString("\n");
 	System.printInt(a.length);
+	System.printString("\n");
     }
 }
diff --git a/Robust/src/Tests/Array2.java b/Robust/src/Tests/Array2.java
new file mode 100644
index 00000000..37b0a273
--- /dev/null
+++ b/Robust/src/Tests/Array2.java
@@ -0,0 +1,19 @@
+public class Array2 {
+    int a;
+    public static void main() {
+	int a[][]=new int[10][20];
+	for(int i=0;i<10;i++) {
+	    for(int j=0;j<20;j++) {
+		a[i][j]=i*100+j;
+	    }
+	}
+
+	for(int i=0;i<10;i++) {
+	    for(int j=0;j<20;j++) {
+		System.printInt(a[i][j]);
+		System.printString(" ");
+	    }
+	    System.printString("\n");
+	}
+    }
+}
diff --git a/Robust/src/Tests/BoundsFail.java b/Robust/src/Tests/BoundsFail.java
new file mode 100644
index 00000000..b836789c
--- /dev/null
+++ b/Robust/src/Tests/BoundsFail.java
@@ -0,0 +1,7 @@
+public class BoundsFail {
+    int a;
+    public static void main() {
+	int a[]=new int[10];
+	a[-1]=2;
+    }
+}
diff --git a/Robust/src/Tests/BoundsFail2.java b/Robust/src/Tests/BoundsFail2.java
new file mode 100644
index 00000000..98ac0ec0
--- /dev/null
+++ b/Robust/src/Tests/BoundsFail2.java
@@ -0,0 +1,7 @@
+public class BoundsFail2 {
+    int a;
+    public static void main() {
+	int a[]=new int[10];
+	a[10]=2;
+    }
+}
diff --git a/Robust/src/Tests/BoundsFail3.java b/Robust/src/Tests/BoundsFail3.java
new file mode 100644
index 00000000..b439d461
--- /dev/null
+++ b/Robust/src/Tests/BoundsFail3.java
@@ -0,0 +1,7 @@
+public class BoundsFail3 {
+    int a;
+    public static void main() {
+	int a[]=new int[10];
+	int b=a[-1];
+    }
+}
diff --git a/Robust/src/Tests/BoundsFail4.java b/Robust/src/Tests/BoundsFail4.java
new file mode 100644
index 00000000..0af6e605
--- /dev/null
+++ b/Robust/src/Tests/BoundsFail4.java
@@ -0,0 +1,7 @@
+public class BoundsFail4 {
+    int a;
+    public static void main() {
+	int a[]=new int[10];
+	int b=a[10];
+    }
+}
diff --git a/Robust/src/Tests/DoTests b/Robust/src/Tests/DoTests
new file mode 100755
index 00000000..1b2356ba
--- /dev/null
+++ b/Robust/src/Tests/DoTests
@@ -0,0 +1,11 @@
+#!/bin/bash
+export PATH=$PATH:./
+dotest Array Array.java
+dotest Array2 Array2.java
+dotest BoundsFail BoundsFail.java
+dotest BoundsFail2 BoundsFail2.java
+dotest BoundsFail3 BoundsFail3.java
+dotest BoundsFail4 BoundsFail4.java
+dotest StringTest StringTest.java
+dotest Test Test.java
+dotest virtualcalltest virtualcalltest.java
diff --git a/Robust/src/Tests/Test.java b/Robust/src/Tests/Test.java
index 7b2b6fc4..09fc88cc 100644
--- a/Robust/src/Tests/Test.java
+++ b/Robust/src/Tests/Test.java
@@ -5,14 +5,16 @@ public class Test {
     int a;
     public static void main() {
 	Test t=new Test();
-	for(int i=3;i<100000;i++) {
+	for(int i=3;i<10000;i++) {
 		boolean flag=true;
 		for(int j=2;flag&&j<i;j++) {
 			if ((i%j)==0)
                             flag=false;
 		}
-//		if (flag)
-//			System.printInt(i);
+		if (flag) {
+			System.printInt(i);
+			System.printString("\n");
+		}
 	}
     }
 }
diff --git a/Robust/src/Tests/While.java b/Robust/src/Tests/While.java
new file mode 100644
index 00000000..973b2740
--- /dev/null
+++ b/Robust/src/Tests/While.java
@@ -0,0 +1,7 @@
+public class While {
+    public static void main() {
+	while(true) {
+	    i++;
+	}
+    }
+}
diff --git a/Robust/src/Tests/dotest b/Robust/src/Tests/dotest
new file mode 100755
index 00000000..a57f1d93
--- /dev/null
+++ b/Robust/src/Tests/dotest
@@ -0,0 +1,6 @@
+#!/bin/bash
+echo Doing Test $1
+../buildscript $1 $2 &>/dev/null
+$1.bin &> output/$1.output
+diff output/$1.output output/$1.output.goal
+rm $1.bin
diff --git a/Robust/src/Tests/virtualcalltest.java b/Robust/src/Tests/virtualcalltest.java
index 249c0f8b..0996eef5 100644
--- a/Robust/src/Tests/virtualcalltest.java
+++ b/Robust/src/Tests/virtualcalltest.java
@@ -5,6 +5,7 @@ class A {
 
    void foo(int x) {
        System.printInt(x);
+       System.printString("\n");
    }
 }
 
@@ -34,7 +35,7 @@ public class virtualcalltest {
 	A a=null;
 	B b=new B();
 	C c=new C();
-	for(int i=0;i<100000000;i++) {
+	for(int i=0;i<1000000;i++) {
 		if (i%2==0)
 			a=b;
 		else
-- 
2.34.1