K as a Service (KaaS) VS Code Extension
KaaS provides integration with the K framework for formal verification and language tooling directly in Visual Studio Code.
Features
- Detects and works with
kontrol.toml files and foundry.toml
- Run Kontrol test and Foundry Tests in the Cloud
Getting Started
- Install the extension from the Marketplace.
- Open a folder containing a
kontrol.toml file.
- Use the command palette to access KaaS features.
Configuration
Get API key from https://kaas.runtimeverification.com
| |