coverage option is global