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