Update stubbing.md with the right command (model-checking#2460)

celinval · May 23, 2023 · a82caa0 · a82caa0
1 parent ef1358d
commit a82caa0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/src/reference/stubbing.md b/docs/src/reference/stubbing.md
@@ -83,7 +83,7 @@ Note that this is a fair assumption to do: `rand::random` is expected to return
 Now, let's run it through Kani:
 
 ```bash
-cargo kani --enable-unstable --enable-stubbing --harness random_cannot_be_zero
+cargo kani --enable-unstable --enable-stubbing --harness encrypt_then_decrypt_is_identity
 ```
 
 The verification result is composed of a single check: the assertion corresponding to `assert_eq!(data, decrypted_data)`.