From c8d94298b10d8cf376b4d1434d5c2a7f419363a3 Mon Sep 17 00:00:00 2001 From: Seyed Amir Hossein Aqajari Date: Thu, 8 Aug 2019 18:03:08 -0700 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 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() { -- 2.34.1