Searched refs:timerDexOutput (Results 1 – 1 of 1) sorted by relevance
73 private Timer timerDexOutput = new Timer("DEX Output"); field in Fuzzer98 timerDexOutput.printTime(listener); in printTimingInfo()405 timerDexOutput.start(); in saveProgram()407 timerDexOutput.stop(); in saveProgram()