Lines Matching refs:Options
21 import dexfuzz.Options;
154 if (Options.usingProvidedSeed) {
155 rng.setSeed(Options.rngSeed);
156 rngSeed = Options.rngSeed;
171 if (Options.loadMutations) {
174 loadMutationsFromDisk(Options.loadMutationsFile);
231 if (Options.loadMutations) {
330 if (!Options.mutateLimit) {
356 int tickets = (2 << Options.methodMutations) - 1;
376 int luckyMutation = Options.methodMutations
393 int maximumMutationAttempts = Options.methodMutations * MAXIMUM_MUTATION_ATTEMPT_FACTOR;
429 if (Options.loadMutations) {
435 int methodsToMutate = Options.minMethods
436 + rng.nextInt((Options.maxMethods - Options.minMethods) + 1);
475 if (Options.dumpMutations) {
476 writeMutationsToDisk(Options.dumpMutationsFile);