only use jgiven-core coverage report