Add screenshot

viperproject · Oct 9, 2023 · 334ec25 · 334ec25
1 parent ddf9934
commit 334ec25
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 1 deletion.
diff --git a/README.md b/README.md
@@ -7,10 +7,16 @@ Prusti Assistant
 [![Test coverage status](https://codecov.io/gh/viperproject/prusti-assistant/branch/master/graph/badge.svg?token=D4HOAD0KRU)](https://codecov.io/gh/viperproject/prusti-assistant)
 [![Sonarcloud quality gate status](https://sonarcloud.io/api/project_badges/measure?project=viperproject_prusti-assistant&metric=alert_status)](https://sonarcloud.io/dashboard?id=viperproject_prusti-assistant)
 
-This Visual Studio Code extension provides interactive IDE features for verifying Rusti programs with the [Prusti verifier](https://github.com/viperproject/prusti-dev).
+This Visual Studio Code extension provides interactive IDE features for verifying Rust programs with the [Prusti verifier](https://github.com/viperproject/prusti-dev).
 
 For advanced use cases, consider switching to the [command-line version of Prusti](https://github.com/viperproject/prusti-dev).
 
+## Screenshot
+
+An example of how verification errors are reported by the extension:
+
+![Screenshot](screenshot.png)
+
 ## Requirements
 
 In order to use this extension, please install the following components:

diff --git a/screenshot.png b/screenshot.png