From f7fadd173b53df3930952c3c1a0f527e2d908345 Mon Sep 17 00:00:00 2001 From: Rahmadi Trimananda Date: Thu, 8 Aug 2019 12:09:56 -0700 Subject: [PATCH] Update gentle-wake-up.groovy --- official/gentle-wake-up.groovy | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/official/gentle-wake-up.groovy b/official/gentle-wake-up.groovy index 3dfe9fa..1024cde 100755 --- a/official/gentle-wake-up.groovy +++ b/official/gentle-wake-up.groovy @@ -723,7 +723,9 @@ def completionPercentage() { def percentComplete = timeElapsed / totalRunTime * 100 log.debug "percentComplete: ${percentComplete}" - return percentComplete + //return percentComplete + // We do not have the notion of time for model-checking + return 100 } int totalRunTimeMillis() { -- 2.34.1