Searched refs:coverageFilter (Results 1 – 1 of 1) sorted by relevance
85 coverageFilter(new Params().setHelp("filter files by coverage").setMatch(".*")), enumConstant152 !MyOptions.coverageFilter.option.doesOccur() in main()154 : Level.fromString(MyOptions.coverageFilter.option.getValue()); in main()