/** * 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); }