Searched refs:timerDexOutput (Results 1 – 1 of 1) sorted by relevance
77 private Timer timerDexOutput = new Timer("DEX Output"); field in Fuzzer102 timerDexOutput.printTime(listener); in printTimingInfo()419 timerDexOutput.start(); in saveProgram()421 timerDexOutput.stop(); in saveProgram()