<a title="coverage testing" href="https://github.com/convexengineering/robust/pull/38">PR #38</a>: coverage testing