Skip to content

Commit

Permalink
Update README.md
Browse files Browse the repository at this point in the history
  • Loading branch information
@fpoli
fpoli authored Oct 5, 2022
1 parent 1bdf1ba commit debd7ee
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -75,7 +75,7 @@ Basic code-completion snippets are provided for Prusti annotations.
By default, Prusti transparently caches verification requests.

* When running Prusti in a crate the cache is stored on disk in the `target/verify` folder. To clear the cache: close vscode, delete that folder, then reopen vscode.
* When running Prusti on standalone Rust programs the cache is not persisted on disk. To clear the cache, it's enough to restart the Prusti server with the command explained above.
* When running Prusti on standalone Rust programs the cache is not persisted on disk. To clear the cache, it's enough to restart the Prusti server with the commands described above.

## Troubleshooting

Expand Down

0 comments on commit debd7ee

Please sign in to comment.