no coverage and verbose