Searched refs:timerDexInput (Results 1 – 1 of 1) sorted by relevance
74 private Timer timerDexInput = new Timer("DEX Input"); field in Fuzzer99 timerDexInput.printTime(listener); in printTimingInfo()393 timerDexInput.start(); in loadProgram()395 timerDexInput.stop(); in loadProgram()