Searched refs:timerDexInput (Results 1 – 1 of 1) sorted by relevance
70 private Timer timerDexInput = new Timer("DEX Input"); field in Fuzzer95 timerDexInput.printTime(listener); in printTimingInfo()379 timerDexInput.start(); in loadProgram()381 timerDexInput.stop(); in loadProgram()