X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=official%2Fgentle-wake-up.groovy;h=3832d672738acb3679dd21f606449c7c52c09309;hb=c8d94298b10d8cf376b4d1434d5c2a7f419363a3;hp=df52af2ef324ba1e16765355f2dd29604c05685c;hpb=799209eb401e47f0863845f1788221890973789f;p=smartapps.git 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() {