Searched refs:timerDexOutput (Results 1 – 1 of 1) sorted by relevance
83 private Timer timerDexOutput = new Timer("DEX Output"); field in Fuzzer108 timerDexOutput.printTime(listener); in printTimingInfo()430 timerDexOutput.start(); in saveProgram()432 timerDexOutput.stop(); in saveProgram()