Searched refs:currentSeed (Results 1 – 2 of 2) sorted by relevance
39 private long currentSeed; field in BisectionSearchListener49 currentSeed = seed; in handleSeed()80 String outputFile = String.format("bisection_outputs/%d_out.txt", currentSeed); in handleDivergences()81 String logFile = String.format("bisection_outputs/%d_log.txt", currentSeed); in handleDivergences()
54 private long currentSeed; field in UniqueProgramTrackerListener76 currentSeed = seed; in handleSeed()197 File after = new File(String.format("divergent_programs/%d.dex", currentSeed)); in saveDivergentProgram()