Update test with new seed behavior from merging main

informalsystems · Jan 20, 2025 · 87af918 · 87af918
1 parent 408ad9e
commit 87af918
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/quint/io-cli-tests.md b/quint/io-cli-tests.md
@@ -1478,7 +1478,7 @@ exit $exit_code
 ```
 [ok] No violation found (duration).
 Witnesses:
-won(X) was witnessed in 98 trace(s) out of 100 explored (98.00%)
-stalemate was witnessed in 2 trace(s) out of 100 explored (2.00%)
+won(X) was witnessed in 99 trace(s) out of 100 explored (99.00%)
+stalemate was witnessed in 1 trace(s) out of 100 explored (1.00%)
 Use --seed=0x2b442ab439177 to reproduce.
 ```