Update gentle-wake-up.groovy

diff --git a/official/gentle-wake-up.groovy b/official/gentle-wake-up.groovy
index 3832d672738acb3679dd21f606449c7c52c09309..df52af2ef324ba1e16765355f2dd29604c05685c 100755 (executable)
--- a/official/gentle-wake-up.groovy
+++ b/official/gentle-wake-up.groovy
@@ -725,7 +725,7 @@ def completionPercentage() {
 
        //return percentComplete
        // We do not have the notion of time for model-checking
-       return 0
+       return 100
 }
 
 int totalRunTimeMillis() {