<https://www.softwareverify.com/tutorial/coverage-validator-tutorial-getting-code-coverage-for-a-statically-linked-library/#breadcrumb>
<http://schema.org/itemListElement>
_:nd22afef6f5a84d1b89694699a11fc3c7xb2
<https://www.softwareverify.com/tutorial/coverage-validator-tutorial-getting-code-coverage-for-a-statically-linked-library/>