Enable coverage checking.