Home
last modified time | relevance | path

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

/art/tools/dexfuzz/src/dexfuzz/program/
DProgram.java88 public long rngSeed; field in Program
162 rng.setSeed(Options.rngSeed); in Program()
163 rngSeed = Options.rngSeed; in Program()
168 rngSeed = seed; in Program()
/art/tools/dexfuzz/src/dexfuzz/
DOptions.java43 public static long rngSeed = -1; field in Options
231 rngSeed = Long.parseLong(value); in handleKeyValueOption()