An OpenCoverTest