about summary refs log tree commit diff
diff options
context:
space:
mode:
authorRalf Jung <post@ralfj.de>2025-09-10 16:40:48 +0200
committerRalf Jung <post@ralfj.de>2025-09-10 17:14:29 +0200
commit827a6541e6a9e02fee35f1cc94f61e3ded4c258f (patch)
treed8ab25b3f699819c34eece481e37b7f1914444fd
parent655b8474348a087acbcec498d48fd705160ee080 (diff)
downloadrust-827a6541e6a9e02fee35f1cc94f61e3ded4c258f.tar.gz
rust-827a6541e6a9e02fee35f1cc94f61e3ded4c258f.zip
move all weak memory tests into their folder
-rw-r--r--src/tools/miri/tests/pass/0weak_memory/consistency.rs (renamed from src/tools/miri/tests/pass/0weak_memory_consistency.rs)2
-rw-r--r--src/tools/miri/tests/pass/0weak_memory/consistency_sc.rs (renamed from src/tools/miri/tests/pass/0weak_memory_consistency_sc.rs)2
-rw-r--r--src/tools/miri/tests/pass/0weak_memory/extra_cpp.rs (renamed from src/tools/miri/tests/pass/weak_memory/extra_cpp.rs)0
-rw-r--r--src/tools/miri/tests/pass/0weak_memory/weak.rs (renamed from src/tools/miri/tests/pass/weak_memory/weak.rs)0
4 files changed, 2 insertions, 2 deletions
diff --git a/src/tools/miri/tests/pass/0weak_memory_consistency.rs b/src/tools/miri/tests/pass/0weak_memory/consistency.rs
index f1d5a56c2b0..16a38ebd9d4 100644
--- a/src/tools/miri/tests/pass/0weak_memory_consistency.rs
+++ b/src/tools/miri/tests/pass/0weak_memory/consistency.rs
@@ -51,7 +51,7 @@ fn spin_until_bool(loc: &AtomicBool, ord: Ordering, val: bool) -> bool {
 }
 
 /// Test matching https://www.doc.ic.ac.uk/~afd/homepages/papers/pdfs/2017/POPL.pdf, Figure 7.
-/// (The Figure 8 test is in `weak_memory/weak.rs`.)
+/// (The Figure 8 test is in `weak.rs`.)
 fn test_corr() {
     let x = static_atomic(0);
     let y = static_atomic(0);
diff --git a/src/tools/miri/tests/pass/0weak_memory_consistency_sc.rs b/src/tools/miri/tests/pass/0weak_memory/consistency_sc.rs
index 43675a8b5e1..cb8535b8ad7 100644
--- a/src/tools/miri/tests/pass/0weak_memory_consistency_sc.rs
+++ b/src/tools/miri/tests/pass/0weak_memory/consistency_sc.rs
@@ -349,7 +349,7 @@ fn test_sc_relaxed() {
 }
 
 pub fn main() {
-    for _ in 0..50 {
+    for _ in 0..32 {
         test_sc_store_buffering();
         test_iriw_sc_rlx();
         test_cpp20_sc_fence_fix();
diff --git a/src/tools/miri/tests/pass/weak_memory/extra_cpp.rs b/src/tools/miri/tests/pass/0weak_memory/extra_cpp.rs
index 94df7308080..94df7308080 100644
--- a/src/tools/miri/tests/pass/weak_memory/extra_cpp.rs
+++ b/src/tools/miri/tests/pass/0weak_memory/extra_cpp.rs
diff --git a/src/tools/miri/tests/pass/weak_memory/weak.rs b/src/tools/miri/tests/pass/0weak_memory/weak.rs
index f39ef0ed98d..f39ef0ed98d 100644
--- a/src/tools/miri/tests/pass/weak_memory/weak.rs
+++ b/src/tools/miri/tests/pass/0weak_memory/weak.rs