From: Seyed Amir Hossein Aqajari Date: Fri, 8 Nov 2019 20:56:18 +0000 (-0800) Subject: Update gentle-wake-up.groovy X-Git-Url: http://plrg.eecs.uci.edu/git/?p=smartapps.git;a=commitdiff_plain;h=02354b096d7841c485782362af9269a15ae3bd7a Update gentle-wake-up.groovy --- diff --git a/official/gentle-wake-up.groovy b/official/gentle-wake-up.groovy index 0c863a4..5bf29a7 100755 --- a/official/gentle-wake-up.groovy +++ b/official/gentle-wake-up.groovy @@ -729,7 +729,7 @@ def completionPercentage() { //return percentComplete // We do not have the notion of time for model-checking - return 100 + return 0 } int totalRunTimeMillis() {