/**
* The VM is about to exit. Perform any clean up operations.
*
* @param value The exit value
*/
@Interruptible
public void notifyExit(int value) {
if (Options.harnessAll.getValue()) harnessEnd();
if (Options.verbose.getValue() == 1) {
Log.write("[End ");
totalTime.printTotalSecs();
Log.writeln(" s]");
} else if (Options.verbose.getValue() == 2) {
Log.write("[End ");
totalTime.printTotalMillis();
Log.writeln(" ms]");
}
if (Options.verboseTiming.getValue()) printDetailedTiming(true);
}
