Merge branch 'main' into toolchain-2023-11-06

model-checking · Nov 6, 2023 · d9e5d91 · d9e5d91
2 parents 195eda5 + 6cb6526
commit d9e5d91
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/src/tutorial-first-steps.md b/docs/src/tutorial-first-steps.md
@@ -66,7 +66,7 @@ A trace is a record of exactly how execution proceeded, including concrete choic
 To get a trace for a failing check in Kani, run:
 
 ```
-cargo kani --visualize
+cargo kani --visualize --enable-unstable
 ```
 
 This command runs Kani and generates an HTML report that includes a trace.