"""Coverage verification helpers."""