Resolves #393 and #394 and #367#395
Merged
Pazus merged 5 commits intoutPLSQL:developfrom Jul 13, 2017
jgebal:bugfix/coverage_filtering
Merged
Resolves #393 and #394 and #367#395Pazus merged 5 commits intoutPLSQL:developfrom jgebal:bugfix/coverage_filtering
Pazus merged 5 commits intoutPLSQL:developfrom
jgebal:bugfix/coverage_filtering