Include the smoke-test run in the coverage