Searched refs:mutatedSuccessfully (Results 1 – 1 of 1) sorted by relevance
76 private boolean mutatedSuccessfully; field in Fuzzer217 mutatedSuccessfully = program.updateRawDexFile(); in fuzz()219 if (!mutatedSuccessfully) { in fuzz()224 mutatedSuccessfully = true; in fuzz()226 if (mutatedSuccessfully) { in fuzz()233 return mutatedSuccessfully && savedSuccessfully; in safeToExecute()275 mutatedSuccessfully = false; in execute()