From 9c3e9ab4839fcbec8d1a14c10a1480c2a8aa0f20 Mon Sep 17 00:00:00 2001 From: Adrian Palacios Date: Mon, 22 Apr 2024 19:00:26 +0000 Subject: [PATCH] More on integrations --- rfc/src/rfcs/0008-source-coverage.md | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/rfc/src/rfcs/0008-source-coverage.md b/rfc/src/rfcs/0008-source-coverage.md index f598a6f90101..dfb5fbf90e69 100644 --- a/rfc/src/rfcs/0008-source-coverage.md +++ b/rfc/src/rfcs/0008-source-coverage.md @@ -259,6 +259,13 @@ experience through the Kani VS Code Extension. For example, we could automatically show the percentage of covered regions in the status bar by additionally extracting a summary of the coverage results. +Finally, we could also consider an integration with other code coverage tools. +For example, if we wanted to integrate with the VS Code extensions +[Code Coverage](https://marketplace.visualstudio.com/items?itemName=markis.code-coverage) or +[Coverage Gutters](https://marketplace.visualstudio.com/items?itemName=ryanluker.vscode-coverage-gutters), +we would only need to extend `kani-cov` to export coverage results to the LCOV +format or integrate Kani with LLVM tools as discussed in [Integration with LLVM](#integration-with-llvm). + ## Detailed Design THIS SECTION INTENTIONALLY LEFT BLANK.