From 7d5413bd17ede225bc3c2ac9a7f640885628edc8 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Wed, 10 Sep 2025 17:55:44 +0200
Subject: [PATCH] this apparently needs more test rounds

---
 src/tools/miri/tests/pass/0weak_memory/weak.rs | 8 ++++++--
 src/tools/miri/tests/pass/float_nan.rs         | 6 +++++-
 2 files changed, 11 insertions(+), 3 deletions(-)

diff --git a/src/tools/miri/tests/pass/0weak_memory/weak.rs b/src/tools/miri/tests/pass/0weak_memory/weak.rs
index f39ef0ed98da..0dd661d3e9b4 100644
--- a/src/tools/miri/tests/pass/0weak_memory/weak.rs
+++ b/src/tools/miri/tests/pass/0weak_memory/weak.rs
@@ -44,11 +44,15 @@ fn check_all_outcomes<T: Eq + std::hash::Hash + std::fmt::Display>(
     let expected: HashSet<T> = HashSet::from_iter(expected);
     let mut seen = HashSet::new();
     // Let's give it N times as many tries as we are expecting values.
-    let tries = expected.len() * 8;
-    for _ in 0..tries {
+    let tries = expected.len() * 12;
+    for i in 0..tries {
         let val = generate();
         assert!(expected.contains(&val), "got an unexpected value: {val}");
         seen.insert(val);
+        if i > tries / 2 && expected.len() == seen.len() {
+            // We saw everything and we did quite a few tries, let's avoid wasting time.
+            return;
+        }
     }
     // Let's see if we saw them all.
     for val in expected {
diff --git a/src/tools/miri/tests/pass/float_nan.rs b/src/tools/miri/tests/pass/float_nan.rs
index f0a2b8e9ee06..902816307403 100644
--- a/src/tools/miri/tests/pass/float_nan.rs
+++ b/src/tools/miri/tests/pass/float_nan.rs
@@ -38,10 +38,14 @@ fn check_all_outcomes<T: Eq + std::hash::Hash + fmt::Display>(
     let mut seen = HashSet::new();
     // Let's give it N times as many tries as we are expecting values.
     let tries = expected.len() * 12;
-    for _ in 0..tries {
+    for i in 0..tries {
         let val = generate();
         assert!(expected.contains(&val), "got an unexpected value: {val}");
         seen.insert(val);
+        if i > tries / 2 && expected.len() == seen.len() {
+            // We saw everything and we did quite a few tries, let's avoid wasting time.
+            return;
+        }
     }
     // Let's see if we saw them all.
     for val in expected {