From: Seyed Amir Hossein Aqajari Date: Fri, 9 Aug 2019 01:03:08 +0000 (-0700) Subject: Update gentle-wake-up.groovy X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=c8d94298b10d8cf376b4d1434d5c2a7f419363a3;p=smartapps.git Update gentle-wake-up.groovy --- diff --git a/official/gentle-wake-up.groovy b/official/gentle-wake-up.groovy index df52af2..3832d67 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 100 + return 0 } int totalRunTimeMillis() {