This is like: #1706
Requested feature
Provide argument to generate LCOV coverage output.
Use case
For checking coverage in CI it would be useful to combine Kani coverage with coverage generated from typical tests (by tools like grcov).
It would also be useful to include documentation on this joint coverage in CI (this could be here https://model-checking.github.io/kani/install-github-ci.html)
This is like: #1706
Requested feature
Provide argument to generate LCOV coverage output.
Use case
For checking coverage in CI it would be useful to combine Kani coverage with coverage generated from typical tests (by tools like grcov).
It would also be useful to include documentation on this joint coverage in CI (this could be here https://model-checking.github.io/kani/install-github-ci.html)