From: Rahmadi Trimananda <rahmadi.trimananda@uci.edu>
Date: Thu, 8 Aug 2019 19:09:56 +0000 (-0700)
Subject: Update gentle-wake-up.groovy
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=f7fadd173b53df3930952c3c1a0f527e2d908345;p=smartapps.git

Update gentle-wake-up.groovy
---

diff --git a/official/gentle-wake-up.groovy b/official/gentle-wake-up.groovy
index 3dfe9fa..1024cde 100755
--- a/official/gentle-wake-up.groovy
+++ b/official/gentle-wake-up.groovy
@@ -723,7 +723,9 @@ def completionPercentage() {
 	def percentComplete = timeElapsed / totalRunTime * 100
 	log.debug "percentComplete: ${percentComplete}"
 
-	return percentComplete
+	//return percentComplete
+	// We do not have the notion of time for model-checking
+	return 100
 }
 
 int totalRunTimeMillis() {