Searched refs:DEFAULT_SESSION_DATA_OUT_FILE (Results 1 – 3 of 3) sorted by relevance
53 public static final String DEFAULT_SESSION_DATA_OUT_FILE = "coverage.es"; field in EMMAProperties
125 … EMMAProperties.DEFAULT_SESSION_DATA_OUT_FILE)); in _run()
311 … EMMAProperties.DEFAULT_SESSION_DATA_OUT_FILE)); in _run()