Home
last modified time | relevance | path

Searched refs:rngSeed (Results 1 – 2 of 2) sorted by relevance

/art/tools/dexfuzz/src/dexfuzz/program/
DProgram.java81 public long rngSeed; field in Program
155 rng.setSeed(Options.rngSeed); in Program()
156 rngSeed = Options.rngSeed; in Program()
161 rngSeed = seed; in Program()
/art/tools/dexfuzz/src/dexfuzz/
DOptions.java43 public static long rngSeed = -1; field in Options
229 rngSeed = Long.parseLong(value); in handleKeyValueOption()