From 75f555cee28f565ce7a5f5396d35a2ddc4f2c929 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Wed, 5 Apr 2006 22:09:21 +0000
Subject: [PATCH] Benchmark changes

---
 Robust/src/f.test | 17 +++++++++--------
 1 file changed, 9 insertions(+), 8 deletions(-)

diff --git a/Robust/src/f.test b/Robust/src/f.test
index 73534834..70b58959 100644
--- a/Robust/src/f.test
+++ b/Robust/src/f.test
@@ -1,13 +1,14 @@
 public class Test {
 
-    public static int main() {
-	int j=0;
-	for(int i=0;i<10;i++) {
-		j+=i;
-		bar(j);
+    public static void main() {
+	for(int i=3;i<100000;i++) {
+		boolean flag=true;
+		for(int j=2;flag&&j<i;j++) {
+			if ((i%j)==0)
+                            flag=false;
+		}
+//		if (flag)
+//			System.printInt(i);
 	}
-	return 0;
     }
-
-    public native static int bar(int x);
 }
-- 
2.34.1