run-doj-validation-test.sh: a single script that performs validation tests for all...

[IRC.git] / Robust / src / Benchmarks / oooJava / raytracer / test.java

diff --git a/Robust/src/Benchmarks/oooJava/raytracer/test.java b/Robust/src/Benchmarks/oooJava/raytracer/test.java
index 8dc74ae4069e5038a34deca0f6eb208a82745d06..060a8fccb63558faf1eba6eac33f7d6194688639 100644 (file)
--- a/Robust/src/Benchmarks/oooJava/raytracer/test.java
+++ b/Robust/src/Benchmarks/oooJava/raytracer/test.java
@@ -1,15 +1,21 @@
 public class test {
 
        public static void main(String argv[]) {
-               JGFInstrumentor instr = new JGFInstrumentor();
-               instr.printHeader(3, 0);
-
-               JGFRayTracerBench rtb = new JGFRayTracerBench(instr);
+         boolean vtest=false;
                int size=1;
                if( argv.length>0 ){
                    size=Integer.parseInt(argv[0]);
+                   if(argv.length>1){
+                     vtest=true;
+                   }
                }
-               rtb.JGFrun(size, instr);
+    JGFInstrumentor instr = new JGFInstrumentor();
+    if(!vtest){
+      instr.printHeader(3, 0);
+    }
+
+    JGFRayTracerBench rtb = new JGFRayTracerBench(instr);
+               rtb.JGFrun(size, instr,vtest);
        }
 
 }