Searched refs:mutatedSuccessfully (Results 1 – 1 of 1) sorted by relevance
70 private boolean mutatedSuccessfully; field in Fuzzer206 mutatedSuccessfully = program.updateRawDexFile(); in fuzz()208 if (!mutatedSuccessfully) { in fuzz()213 mutatedSuccessfully = true; in fuzz()215 if (mutatedSuccessfully) { in fuzz()222 return mutatedSuccessfully && savedSuccessfully; in safeToExecute()264 mutatedSuccessfully = false; in execute()