Home
last modified time | relevance | path

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

/art/tools/dexfuzz/src/dexfuzz/
DDexFuzz.java82 multipleListener.addListener(new UniqueProgramTrackerListener(Options.uniqueDatabaseFile)); in main()
DOptions.java59 public static String uniqueDatabaseFile = "unique_progs.db"; field in Options
256 uniqueDatabaseFile = value; in handleKeyValueOption()