It doesn't look like Params.IgnoreMissedCoverage and IgnoreMissedCoverage() are wired up to anything, and indeed code paths that end with os.Exit are missing from the coverage report without an error being raised.