user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

this apparently needs more test rounds

Browse source
This commit is contained in:
Ralf Jung 2025-09-10 17:55:44 +02:00
parent 827a6541e6
commit 7d5413bd17
2 changed files with 11 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

8
src/tools/miri/tests/pass/0weak_memory/weak.rs
View file

@ -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 {

6
src/tools/miri/tests/pass/float_nan.rs
View file

@ -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 {