Added coverage checking support.