More on integrations

Author: adpaco-aws

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.