https://github.com/model-checking/kani/pull/3121 introduced the `kani-cov` tool. We should document it so that our users know it exists and how they can use it.
#3121 introduced the
kani-covtool. We should document it so that our users know it exists and how they can use it.