Searched refs:timerProgGen (Results 1 – 1 of 1) sorted by relevance
75 private Timer timerProgGen = new Timer("Program Generation"); field in Fuzzer100 timerProgGen.printTime(listener); in printTimingInfo()398 timerProgGen.start(); in loadProgram()400 timerProgGen.stop(); in loadProgram()