Kani Visual Studio Code ExtensionA Visual Studio Code test extension that allows users to run their Kani Rust Verifier proofs and view traces natively in vscode. Usage
Features
Requirements
InstallationThis extension is still in beta and has not yet been published on the marketplace. If you wish to use it now, you can download the binary and install it manually. Install through the Binary
If you want to build and package from source directly, see dev-documentation for more information. TroubleshootingStuck at Verifying...There is a known issue where the extension appears to get stuck if the stack size is too small. If you experience this issue, you can increase the stack size or stop the verification. We are working to removing the need to increase the stack size. Here is the workaround for the issue,
The user can set the environment variable
OR stop the verification using the stop button on the testing panel. SecuritySee SECURITY for more information. LicenseThis code is distributed under the terms of both the MIT license and the Apache License (Version 2.0). See LICENSE-APACHE and LICENSE-MIT for details. Code of conductThis project has adopted the Rust Code Of Conduct. See CODE OF CONDUCT for details. |