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

[IRC.git] / Robust / src / Benchmarks / oooJava / sor / JGFSORBench.java

diff --git a/Robust/src/Benchmarks/oooJava/sor/JGFSORBench.java b/Robust/src/Benchmarks/oooJava/sor/JGFSORBench.java
index 2d56f36d052e690edcad6cd3d52e430cf6ca3937..cc24ba7e78942020901444031473a1bf3a943862 100644 (file)
--- a/Robust/src/Benchmarks/oooJava/sor/JGFSORBench.java
+++ b/Robust/src/Benchmarks/oooJava/sor/JGFSORBench.java
@@ -86,7 +86,7 @@ public class JGFSORBench {
       System.out.println("Validation failed");
       System.out.println("Gtotal = " + Gtotal + "  dev=" + dev + "  sizeParam=" + size);
     }else{
-      System.out.println("Validataion Success! dev="+dev);
+      System.out.println("VALID dev="+dev);
     }
 
   }