Get BDD to return coverage information.