Searched refs:Timer (Results 1 – 3 of 3) sorted by relevance
21 import dexfuzz.Timer;79 private Timer totalTimer = new Timer("Total Time");80 private Timer timerDexInput = new Timer("DEX Input");81 private Timer timerProgGen = new Timer("Program Generation");82 private Timer timerMutation = new Timer("Mutation Time");83 private Timer timerDexOutput = new Timer("DEX Output");84 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;38 new Timer(true).schedule(new TimerTask() { in main()