Update gentle-wake-up.groovy
authorRahmadi Trimananda <rahmadi.trimananda@uci.edu>
Sat, 10 Aug 2019 13:54:56 +0000 (06:54 -0700)
committerGitHub Enterprise <noreply@github.uci.edu>
Sat, 10 Aug 2019 13:54:56 +0000 (06:54 -0700)
official/gentle-wake-up.groovy

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