From 87af91856c0704aef41a12378a09b782da58f6cd Mon Sep 17 00:00:00 2001 From: bugarela Date: Mon, 20 Jan 2025 16:14:14 -0300 Subject: [PATCH] Update test with new seed behavior from merging main --- quint/io-cli-tests.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/quint/io-cli-tests.md b/quint/io-cli-tests.md index e6b24c992..8d6b3a195 100644 --- 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. ```