Skip to content

Coverage filter#30

Open
karel-brinda wants to merge 127 commits intomasterfrom
cov_filter
Open

Coverage filter#30
karel-brinda wants to merge 127 commits intomasterfrom
cov_filter

Conversation

@karel-brinda
Copy link
Owner

@karel-brinda karel-brinda commented Dec 8, 2017

Add support for coverage filtering.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant