Source formatting
Add coverage (auto-generated)