Skip to content

Commit

Permalink
mention MS debugging extension
Browse files Browse the repository at this point in the history
  • Loading branch information
@listochkin
listochkin committed Dec 2, 2024
1 parent 6f1c970 commit a68700b
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion training-slides/src/kani.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -212,7 +212,7 @@ cargo kani playback -Z concrete-playback

* Rust Analyzer
* [Kani extension](https://marketplace.visualstudio.com/items?itemName=model-checking.kani-vscode-extension)
* CodeLLDB for debugging
* CodeLLDB or Microsoft C/C++ (on Windows) for debugging
* You can use Docker and DevContainers on unsupported platforms

## Let's fix it! - `Cargo.toml`
Expand Down

0 comments on commit a68700b

Please sign in to comment.