Update gentle-wake-up.groovy
authorSeyed Amir Hossein Aqajari <amiraj.95@uci.edu>
Fri, 9 Aug 2019 01:03:08 +0000 (18:03 -0700)
committerGitHub Enterprise <noreply@github.uci.edu>
Fri, 9 Aug 2019 01:03:08 +0000 (18:03 -0700)
official/gentle-wake-up.groovy

index df52af2ef324ba1e16765355f2dd29604c05685c..3832d672738acb3679dd21f606449c7c52c09309 100755 (executable)
@@ -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() {