better progress logging in smoke tests

4 files changed, 5 insertions, 5 deletions

diff --git a/Solvers/VIATRA-Solver/org.eclipse.viatra.solver.data/tests/org/eclipse/viatra/solver/data/map/SmokeTest1Mutable.java b/Solvers/VIATRA-Solver/org.eclipse.viatra.solver.data/tests/org/eclipse/viatra/solver/data/map/SmokeTest1Mutable.java
index e77d6468..ecc189dc 100644
--- a/Solvers/VIATRA-Solver/org.eclipse.viatra.solver.data/tests/org/eclipse/viatra/solver/data/map/SmokeTest1Mutable.java
+++ b/Solvers/VIATRA-Solver/org.eclipse.viatra.solver.data/tests/org/eclipse/viatra/solver/data/map/SmokeTest1Mutable.java
@@ -55,7 +55,7 @@ public class SmokeTest1Mutable {
                                 exception.printStackTrace();
                                 fail(scenario+":"+index+": exception happened: "+exception);
                         }
-                        if(index%10000==0) System.out.println(scenario+":"+index+" finished");
+                        if(index%10000==0) System.out.println(scenario+":"+index+"/"+steps+" finished");
                 }
         }
         
diff --git a/Solvers/VIATRA-Solver/org.eclipse.viatra.solver.data/tests/org/eclipse/viatra/solver/data/map/SmokeTest2Commit.java b/Solvers/VIATRA-Solver/org.eclipse.viatra.solver.data/tests/org/eclipse/viatra/solver/data/map/SmokeTest2Commit.java
index c9498381..8255746a 100644
--- a/Solvers/VIATRA-Solver/org.eclipse.viatra.solver.data/tests/org/eclipse/viatra/solver/data/map/SmokeTest2Commit.java
+++ b/Solvers/VIATRA-Solver/org.eclipse.viatra.solver.data/tests/org/eclipse/viatra/solver/data/map/SmokeTest2Commit.java
@@ -55,7 +55,7 @@ public class SmokeTest2Commit {
                                 exception.printStackTrace();
                                 fail(scenario+":"+index+": exception happened: "+exception);
                         }
-                        if(index%10000==0) System.out.println(scenario+":"+index+" finished");
+                        if(index%10000==0) System.out.println(scenario+":"+index+"/"+steps+" finished");
                         if(index%commitFrequency == 0) {
                                 e.sut.commit();
                                 //System.out.println(scenario+":"+index+": Commit! version=" + version);
diff --git a/Solvers/VIATRA-Solver/org.eclipse.viatra.solver.data/tests/org/eclipse/viatra/solver/data/map/SmokeTest3MutableImmutableCompare.java b/Solvers/VIATRA-Solver/org.eclipse.viatra.solver.data/tests/org/eclipse/viatra/solver/data/map/SmokeTest3MutableImmutableCompare.java
index a5cf1da9..ad03566a 100644
--- a/Solvers/VIATRA-Solver/org.eclipse.viatra.solver.data/tests/org/eclipse/viatra/solver/data/map/SmokeTest3MutableImmutableCompare.java
+++ b/Solvers/VIATRA-Solver/org.eclipse.viatra.solver.data/tests/org/eclipse/viatra/solver/data/map/SmokeTest3MutableImmutableCompare.java
@@ -51,7 +51,7 @@ public class SmokeTest3MutableImmutableCompare {
                         }
                         MapTestEnvironment.compareTwoMaps(scenario+":"+index,immutable, mutable);
                         
-                        if(index%10000==0) System.out.println(scenario+":"+index+" finished");
+                        if(index%10000==0) System.out.println(scenario+":"+index+"/"+steps+" finished");
                 }
         }
         
diff --git a/Solvers/VIATRA-Solver/org.eclipse.viatra.solver.data/tests/org/eclipse/viatra/solver/data/map/SmokeTest4Restore.java b/Solvers/VIATRA-Solver/org.eclipse.viatra.solver.data/tests/org/eclipse/viatra/solver/data/map/SmokeTest4Restore.java
index 8f087e77..f0b3e56e 100644
--- a/Solvers/VIATRA-Solver/org.eclipse.viatra.solver.data/tests/org/eclipse/viatra/solver/data/map/SmokeTest4Restore.java
+++ b/Solvers/VIATRA-Solver/org.eclipse.viatra.solver.data/tests/org/eclipse/viatra/solver/data/map/SmokeTest4Restore.java
@@ -53,7 +53,7 @@ public class SmokeTest4Restore {
                                 long version = versioned.commit();
                                 index2Version.put(i,version);
                         }
-                        if(index%10000==0) System.out.println(scenario+":"+index+" building finished");
+                        if(index%10000==0) System.out.println(scenario+":"+index+"/"+steps+" building finished");
                 }
                 // 2. create a non-versioned and 
                 VersionedMapImpl<Integer, String> reference = (VersionedMapImpl<Integer, String>) store.createMap();
@@ -73,7 +73,7 @@ public class SmokeTest4Restore {
                                 versioned.restore(index2Version.get(i));
                                 MapTestEnvironment.compareTwoMaps(scenario+":"+index,reference, versioned);
                         }
-                        if(index%10000==0) System.out.println(scenario+":"+index+" comparison finished");
+                        if(index%10000==0) System.out.println(scenario+":"+index+"/"+steps+" comparison finished");
                 }