21 import dexfuzz.Options;
161     if (Options.usingProvidedSeed) {  in Program()
162       rng.setSeed(Options.rngSeed);  in Program()
163       rngSeed = Options.rngSeed;  in Program()
178       if (Options.loadMutations) {  in Program()
181         loadMutationsFromDisk(Options.loadMutationsFile);  in Program()
244     if (Options.loadMutations) {  in registerMutator()
343     if (!Options.mutateLimit) {  in legalToMutate()
369     int tickets = (2 << Options.methodMutations) - 1;  in getNumberOfMutationsToPerform()
389     int luckyMutation = Options.methodMutations  in getNumberOfMutationsToPerform()
406     int maximumMutationAttempts = Options.methodMutations * MAXIMUM_MUTATION_ATTEMPT_FACTOR;  in mutateAMutatableCode()
442     if (Options.loadMutations) {  in mutateTheProgram()
448     int methodsToMutate = Options.minMethods  in mutateTheProgram()
449         + rng.nextInt((Options.maxMethods - Options.minMethods) + 1);  in mutateTheProgram()
488     if (Options.dumpMutations) {  in mutateTheProgram()
489       writeMutationsToDisk(Options.dumpMutationsFile);  in mutateTheProgram()