These headers and flags were historically needed, but are now unnecessary due to various changes in how coverage information is stored in MIR.
These headers and flags were historically needed, but are now unnecessary due to various changes in how coverage information is stored in MIR.