From 1a9460acff4705aa67323d4a2e609d3e6e9b0ff8 Mon Sep 17 00:00:00 2001 From: Rahmadi Trimananda Date: Sat, 10 Aug 2019 06:54:56 -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 3832d67..df52af2 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 0 + return 100 } int totalRunTimeMillis() { -- 2.34.1