diff --git a/README.md b/README.md index 16ab67f..83260eb 100644 --- a/README.md +++ b/README.md @@ -4,7 +4,7 @@ A [Visual Studio Code](https://code.visualstudio.com/) extension that allows use ## Usage -![Kani Usage](kani-demo.png) +![Kani Usage](resources/screenshots/kani-demo-mini.png) 1. Open a Rust package in Visual Studio Code. 2. Navigate to the testing panel and expand on the Kani harness tree view where the harnesses are shown. diff --git a/resources/screenshots/kani-demo-mini.png b/resources/screenshots/kani-demo-mini.png new file mode 100644 index 0000000..5a77792 Binary files /dev/null and b/resources/screenshots/kani-demo-mini.png differ