Searched refs:totalTimer (Results 1 – 1 of 1) sorted by relevance
79 private Timer totalTimer = new Timer("Total Time"); field in Fuzzer89 totalTimer.start(); in Fuzzer()104 totalTimer.stop(); in printTimingInfo()110 totalTimer.printTime(listener); in printTimingInfo()