Update doc/src/tools/kani.md

Co-authored-by: Jaisurya Nanduri <91620234+jaisnan@users.noreply.github.com>
model-checking · Sep 16, 2024 · 8b6a357 · 8b6a357
1 parent 50bbe10
commit 8b6a357
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/doc/src/tools/kani.md b/doc/src/tools/kani.md
@@ -86,7 +86,7 @@ pub mod verify {
 
 ### Step 2
 
-Run the following command in your local terminal:
+Run the following command in your local terminal (replace /path/ with your local paths):
 
 `kani verify-std -Z unstable-options "path/to/library" --target-dir "/path/to/target" -Z function-contracts -Z stubbing -Z mem-predicates`.