Update gentle-wake-up.groovy
authorSeyed Amir Hossein Aqajari <amiraj.95@uci.edu>
Fri, 8 Nov 2019 20:56:18 +0000 (12:56 -0800)
committerGitHub Enterprise <noreply@github.uci.edu>
Fri, 8 Nov 2019 20:56:18 +0000 (12:56 -0800)
official/gentle-wake-up.groovy

index 0c863a471e80063582595c06ca508bf76b6dad80..5bf29a7c4892e34a478089c52478d0c7615d285c 100755 (executable)
@@ -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() {