Updates according to PR comments.

viperproject · May 31, 2018 · 674445c · 674445c
1 parent 74b0452
commit 674445c
Showing 1 changed file with 4 additions and 5 deletions.
diff --git a/src/main/scala/viper/server/VerificationWorker.scala b/src/main/scala/viper/server/VerificationWorker.scala
@@ -267,20 +267,19 @@ class ViperBackend(private val _frontend: SilFrontend) {
 
     // finish by reporting the overall outcome
 
-    val endTime = System.currentTimeMillis();
     _frontend.result match {
       case Success =>
         //printSuccess();
-        _frontend.reporter.report(OverallSuccessMessage(_frontend.getVerifierName, endTime - _frontend.startTime))
+        _frontend.reporter.report(OverallSuccessMessage(_frontend.getVerifierName, System.currentTimeMillis() - _frontend.startTime))
         // TODO: Think again about where to detect and trigger SymbExLogging
         if (SymbExLogger.enabled) {
-          _frontend.reporter.report(SymbExLogReport(endTime, Some(SymbExLogger.toJSString())));
+          _frontend.reporter.report(SymbExLogReport(System.currentTimeMillis(), Some(SymbExLogger.toJSString())))
         }
       case f@Failure(_) =>
         //printErrors(errors: _*);
-        _frontend.reporter.report(OverallFailureMessage(_frontend.getVerifierName, endTime - _frontend.startTime, f))
+        _frontend.reporter.report(OverallFailureMessage(_frontend.getVerifierName, System.currentTimeMillis() - _frontend.startTime, f))
         if (SymbExLogger.enabled) {
-          _frontend.reporter.report(SymbExLogReport(endTime, None));
+          _frontend.reporter.report(SymbExLogReport(System.currentTimeMillis(), None))
         }
     }
   }