From 02354b096d7841c485782362af9269a15ae3bd7a Mon Sep 17 00:00:00 2001 From: Seyed Amir Hossein Aqajari Date: Fri, 8 Nov 2019 12:56:18 -0800 Subject: [PATCH] Update gentle-wake-up.groovy --- official/gentle-wake-up.groovy | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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() { -- 2.34.1