update.

cmu-pasta · Jul 23, 2024 · 9ac4ce8 · 9ac4ce8
1 parent 44e632d
commit 9ac4ce8
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/core/src/main/kotlin/cmu/pasta/fray/core/TestRunner.kt b/core/src/main/kotlin/cmu/pasta/fray/core/TestRunner.kt
@@ -34,6 +34,7 @@ class TestRunner(val config: Configuration) {
     } else {
       setup()
       val timeSource = TimeSource.Monotonic
+      val start = timeSource.markNow()
       var i = 0
       while (i != config.iter) {
         println("Starting iteration $i")
@@ -47,7 +48,7 @@ class TestRunner(val config: Configuration) {
           Runtime.onMainExit()
         }
         if (GlobalContext.bugFound) {
-          println("Error found at iter: $i, Elapsed time: ${timeSource.markNow().elapsedNow()}")
+          println("Error found at iter: $i, Elapsed time: ${(timeSource.markNow() - start).inWholeMilliseconds}ms")
           if (!config.exploreMode) {
             break
           }