Home
last modified time | relevance | path

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

/art/tools/dexfuzz/src/dexfuzz/
DOptions.java272 private static void setupMutationLikelihoodTable(String tableFilename) { in setupMutationLikelihoodTable() argument
274 BufferedReader reader = new BufferedReader(new FileReader(tableFilename)); in setupMutationLikelihoodTable()
292 Log.error("Unable to open mutation probability table file: " + tableFilename); in setupMutationLikelihoodTable()
294 Log.error("Unable to read mutation probability table file: " + tableFilename); in setupMutationLikelihoodTable()