Searched refs:DEFAULT_DESTFILE (Results 1 – 3 of 3) sorted by relevance
45 public static final String DEFAULT_DESTFILE = "jacoco.exec"; field in AgentOptions267 return getOption(DESTFILE, DEFAULT_DESTFILE); in getDestfile()
40 destfile = new File(AgentOptions.DEFAULT_DESTFILE); in AbstractCoverageTask()
40 assertEquals(AgentOptions.DEFAULT_DESTFILE, options.getDestfile()); in testDefaults()