Update gentle-wake-up.groovy

diff --git a/official/gentle-wake-up.groovy b/official/gentle-wake-up.groovy
index 3dfe9fa581678b576ffcb416c0fa37857a9b5568..1024cde537db4e2e77f1c1b0d4652b74e6a109c7 100755 (executable)
--- 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() {