rust-lang
diff --git a/‎tests/genmc/pass/simple/2+2W+3sc+rel1/2_2w_3sc_rel1.rs
Lines changed: 0 additions & 39 deletions b/‎tests/genmc/pass/simple/2+2W+3sc+rel1/2_2w_3sc_rel1.rs
Lines changed: 0 additions & 39 deletions
diff --git a/‎tests/genmc/pass/simple/2+2W+3sc+rel1/2_2w_3sc_rel1.stderr
Lines changed: 0 additions & 3 deletions b/‎tests/genmc/pass/simple/2+2W+3sc+rel1/2_2w_3sc_rel1.stderr
Lines changed: 0 additions & 3 deletions
diff --git a/‎tests/genmc/pass/simple/2w2w_seqcst.rs
Lines changed: 0 additions & 42 deletions b/‎tests/genmc/pass/simple/2w2w_seqcst.rs
Lines changed: 0 additions & 42 deletions
diff --git a/‎tests/genmc/pass/simple/2w2w_seqcst.stderr
Lines changed: 0 additions & 3 deletions b/‎tests/genmc/pass/simple/2w2w_seqcst.stderr
Lines changed: 0 additions & 3 deletions
diff --git a/‎tests/genmc/pass/simple/simple_miri_main_spawn_pthreads.rs renamed to ‎tests/genmc/pass/simple/miri_main_spawn_pthreads.rs b/‎tests/genmc/pass/simple/simple_miri_main_spawn_pthreads.rs renamed to ‎tests/genmc/pass/simple/miri_main_spawn_pthreads.rs
diff --git a/‎tests/genmc/pass/simple/simple_miri_main_spawn_pthreads.stderr renamed to ‎tests/genmc/pass/simple/miri_main_spawn_pthreads.stderr b/‎tests/genmc/pass/simple/simple_miri_main_spawn_pthreads.stderr renamed to ‎tests/genmc/pass/simple/miri_main_spawn_pthreads.stderr