more precise coverage testing