Searched refs:timerProgGen (Results 1 – 1 of 1) sorted by relevance
81 private Timer timerProgGen = new Timer("Program Generation"); field in Fuzzer106 timerProgGen.printTime(listener); in printTimingInfo()409 timerProgGen.start(); in loadProgram()411 timerProgGen.stop(); in loadProgram()