Searched refs:Timer (Results 1 – 3 of 3) sorted by relevance
21 import dexfuzz.Timer;69 private Timer totalTimer = new Timer("Total Time");70 private Timer timerDexInput = new Timer("DEX Input");71 private Timer timerProgGen = new Timer("Program Generation");72 private Timer timerMutation = new Timer("Mutation Time");73 private Timer timerDexOutput = new Timer("DEX Output");74 private Timer timerChecksumCalc = new Timer("Checksum Calculation");
24 public class Timer { class44 public Timer(String name) { in Timer() method in Timer
17 import java.util.Timer;45 new Timer(true).schedule(new TimerTask() { in main()