The options should be part of configuration, and coverage html is a really useful additional command.
coverage html