Added possibility to generate coverage: