Searched refs:timerMutation (Results 1 – 1 of 1) sorted by relevance
76 private Timer timerMutation = new Timer("Mutation Time"); field in Fuzzer101 timerMutation.printTime(listener); in printTimingInfo()203 timerMutation.start(); in fuzz()207 timerMutation.stop(); in fuzz()