Searched refs:totalTimer (Results 1 – 1 of 1) sorted by relevance
69 private Timer totalTimer = new Timer("Total Time"); field in Fuzzer79 totalTimer.start(); in Fuzzer()94 totalTimer.stop(); in printTimingInfo()100 totalTimer.printTime(listener); in printTimingInfo()