Reduce command-line refresh frequency. (#32)

cmu-pasta · Aug 22, 2024 · e2a0537 · e2a0537
1 parent 75bc041
commit e2a0537
Showing 1 changed file with 11 additions and 5 deletions.
diff --git a/core/src/main/kotlin/org/pastalab/fray/core/TestRunner.kt b/core/src/main/kotlin/org/pastalab/fray/core/TestRunner.kt
@@ -11,6 +11,7 @@ import org.pastalab.fray.runtime.Runtime
 class TestRunner(val config: Configuration) {
 
   val context = RunContext(config)
+  var currentDivision = 1
 
   val logger: Logger = config.loggerContext.getLogger(TestRunner::class.java)
 
@@ -19,11 +20,16 @@ class TestRunner(val config: Configuration) {
   }
 
   fun reportProgress(iteration: Int, bugsFound: Int) {
-    print("\u001B[2J")
-    print("\u001B[2H")
-    println("Fray Testing:")
-    println("Iterations: $iteration")
-    println("Bugs Found: $bugsFound")
+    if (iteration % currentDivision == 0) {
+      print("\u001B[2J")
+      print("\u001B[2H")
+      println("Fray Testing:")
+      println("Iterations: $iteration")
+      println("Bugs Found: $bugsFound")
+    }
+    if (iteration / currentDivision == 10) {
+      currentDivision *= 10
+    }
   }
 
   fun run(): Throwable? {