From: Rahmadi Trimananda Date: Sat, 10 Aug 2019 13:54:56 +0000 (-0700) Subject: Update gentle-wake-up.groovy X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=1a9460acff4705aa67323d4a2e609d3e6e9b0ff8;p=smartapps.git Update gentle-wake-up.groovy --- diff --git a/official/gentle-wake-up.groovy b/official/gentle-wake-up.groovy index 3832d67..df52af2 100755 --- 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() {