changeset 19:d25a6d5c6229

generator: more variables in seqcst/volatile
author shade
date Tue, 09 Jul 2013 14:23:49 +0400
parents f31f7fbb7bdb
children 4155566a6bfb
files generator/src/main/java/org/openjdk/jcstress/TraceGenMain.java generator/src/main/java/org/openjdk/jcstress/tracer/TraceGen.java
diffstat 2 files changed, 4 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/generator/src/main/java/org/openjdk/jcstress/TraceGenMain.java	Tue Jul 09 13:57:35 2013 +0400
+++ b/generator/src/main/java/org/openjdk/jcstress/TraceGenMain.java	Tue Jul 09 14:23:49 2013 +0400
@@ -33,7 +33,7 @@
 
     public static void main(String[] args) throws FileNotFoundException {
         if (args.length >= 2) {
-            new TraceGen(2, args[0], args[1]).generate();
+            new TraceGen(3, args[0], args[1]).generate();
         } else {
             throw new IllegalStateException("Please provide the destination dir");
         }
--- a/generator/src/main/java/org/openjdk/jcstress/tracer/TraceGen.java	Tue Jul 09 13:57:35 2013 +0400
+++ b/generator/src/main/java/org/openjdk/jcstress/tracer/TraceGen.java	Tue Jul 09 14:23:49 2013 +0400
@@ -110,6 +110,7 @@
             }
         }
 
+        int testCount = 0;
         for (MultiTrace mt : multiTraces) {
             List<Trace> linearTraces = mt.linearize();
             Set<Map<Integer, Integer>> scResults = new HashSet<Map<Integer, Integer>>();
@@ -140,7 +141,8 @@
             }
 
             emit(mt, mappedResult);
-            System.out.print(".");
+            if ((testCount++ % 1000) == 0)
+                System.out.print(".");
         }
         System.out.println();