enable coverage only for our DUT