lib/cdef.php tests/Coverage/CdefCoverageTest.php