/src/tools/miri/tests/genmc/fail/simple/

• ../
• 2w2w_weak.relaxed4.stderr
• 2w2w_weak.release4.stderr
• 2w2w_weak.rs
• 2w2w_weak.sc3_rel1.stderr