Searched refs:Timer (Results 1 – 3 of 3) sorted by relevance
21 import dexfuzz.Timer;73 private Timer totalTimer = new Timer("Total Time");74 private Timer timerDexInput = new Timer("DEX Input");75 private Timer timerProgGen = new Timer("Program Generation");76 private Timer timerMutation = new Timer("Mutation Time");77 private Timer timerDexOutput = new Timer("DEX Output");78 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()