stop("schedule")
- handleCompletionSwitches()
+ //handleCompletionSwitches()
- handleCompletionMessaging()
+ //handleCompletionMessaging()
handleCompletionModesAndPhrases()
}
//return percentComplete
// We do not have the notion of time for model-checking
- return 100
+ return 0
}
int totalRunTimeMillis() {