Print stats continuously

flix · Nov 19, 2015 · c4c0bfb · c4c0bfb
1 parent 9f4a6b3
commit c4c0bfb
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/main/src/ca/uwaterloo/flix/runtime/Solver.scala b/main/src/ca/uwaterloo/flix/runtime/Solver.scala
@@ -85,11 +85,19 @@ class Solver(implicit sCtx: Solver.SolverContext) {
       worklist.push((rule, mutable.Map.empty))
     }
 
+    var i = 0
+
     // iterate until fixpoint.
     while (worklist.nonEmpty) {
       // extract fact from the worklist.
       val (rule, env) = worklist.pop()
       evalBody(rule, env)
+
+      if (i == 5000000) {
+        dataStore.stats()
+        i = 0
+      }
+      i = i + 1
     }
 
     // computed elapsed time.