Searched refs:timerProgGen (Results 1 – 1 of 1) sorted by relevance
71 private Timer timerProgGen = new Timer("Program Generation"); field in Fuzzer96 timerProgGen.printTime(listener); in printTimingInfo()384 timerProgGen.start(); in loadProgram()386 timerProgGen.stop(); in loadProgram()