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 0c863a4..5bf29a7 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() {