Searched refs:DEFAULT_COVERAGE_DATA_OUT_FILE (Results 1 – 2 of 2) sorted by relevance
185 … EMMAProperties.DEFAULT_COVERAGE_DATA_OUT_FILE); in getCoverageOutFile()189 return new File (EMMAProperties.DEFAULT_COVERAGE_DATA_OUT_FILE); in getCoverageOutFile()
47 public static final String DEFAULT_COVERAGE_DATA_OUT_FILE = "coverage.ec"; field in EMMAProperties