add a log stmt when a spar-tree is updated

uw-pluverse · Aug 6, 2020 · bfe2ead · bfe2ead
1 parent 16a767d
commit bfe2ead
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/org/perses/reduction/ReductionDriver.kt b/src/org/perses/reduction/ReductionDriver.kt
@@ -407,6 +407,9 @@ class ReductionDriver(
               .writeToFile(
                 configuration.bestResultFile, configuration.programFormatControl
               )
+            logger.atFine().log(
+              "An edit is applied to the spar-tree. New #tokens=%s", event.program.tokenCount()
+            )
           } catch (e: IOException) {
             throw RuntimeException(e)
           }