mp3decoder finally passes the flow-down rule checking.

[IRC.git] / Robust / src / Tests / virtualcalltest.java

diff --git a/Robust/src/Tests/virtualcalltest.java b/Robust/src/Tests/virtualcalltest.java
index 249c0f8b22e824d13acff37ed5ffd6366d23dc16..1b034ad220ea56321670709149533e0471454d5b 100644 (file)
--- 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");
    }
 }
 
@@ -29,12 +30,12 @@ class C extends A {
 }
 
 public class virtualcalltest {
-    public static void main() {
+    public static void main(String str[]) {
 
        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