added that it may take several hours

Certora · Jan 3, 2024 · 2baade4 · 2baade4
1 parent 7237774
commit 2baade4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/gambit/mutation-verifier.md b/docs/gambit/mutation-verifier.md
@@ -47,7 +47,7 @@ When it finishes successfully, you should see the following lines printed:
 
 ```
 ********************  PROVER END  ********************
-You will receive an email notification when this mutation test is completed.
+You will receive an email notification when this mutation test is completed. It may take several hours.
 ```
 
 ```{note}