Added options to generate coverage