diff options
| author | Ralf Jung <post@ralfj.de> | 2025-09-10 16:40:48 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2025-09-10 17:14:29 +0200 |
| commit | 827a6541e6a9e02fee35f1cc94f61e3ded4c258f (patch) | |
| tree | d8ab25b3f699819c34eece481e37b7f1914444fd | |
| parent | 655b8474348a087acbcec498d48fd705160ee080 (diff) | |
| download | rust-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 |
