Skip to content

Commit 4d090d8

Browse files
committed
move all weak memory tests into their folder
1 parent a664572 commit 4d090d8

File tree

4 files changed

+2
-2
lines changed

4 files changed

+2
-2
lines changed

tests/pass/0weak_memory_consistency.rs renamed to tests/pass/0weak_memory/consistency.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -51,7 +51,7 @@ fn spin_until_bool(loc: &AtomicBool, ord: Ordering, val: bool) -> bool {
5151
}
5252

5353
/// Test matching https://www.doc.ic.ac.uk/~afd/homepages/papers/pdfs/2017/POPL.pdf, Figure 7.
54-
/// (The Figure 8 test is in `weak_memory/weak.rs`.)
54+
/// (The Figure 8 test is in `weak.rs`.)
5555
fn test_corr() {
5656
let x = static_atomic(0);
5757
let y = static_atomic(0);

tests/pass/0weak_memory_consistency_sc.rs renamed to tests/pass/0weak_memory/consistency_sc.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -349,7 +349,7 @@ fn test_sc_relaxed() {
349349
}
350350

351351
pub fn main() {
352-
for _ in 0..50 {
352+
for _ in 0..32 {
353353
test_sc_store_buffering();
354354
test_iriw_sc_rlx();
355355
test_cpp20_sc_fence_fix();
File renamed without changes.
File renamed without changes.

0 commit comments

Comments
 (0)