execute coverall only on jgiven-core