Miri has gained some more features

matklad · Jun 26, 2022 · c1a3827 · c1a3827
1 parent 485aaa8
commit c1a3827
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 4 deletions.
diff --git a/src/imp_std.rs b/src/imp_std.rs
@@ -281,7 +281,6 @@ mod tests {
     }
 
     #[test]
-    #[cfg(not(miri))]
     fn stampede_once() {
         static O: OnceCell<()> = OnceCell::new();
         static mut RUN: bool = false;

diff --git a/tests/it.rs b/tests/it.rs
@@ -331,7 +331,6 @@ mod sync {
     }
 
     #[test]
-    #[cfg_attr(miri, ignore)] // miri doesn't support Barrier
     fn get_or_init_stress() {
         use std::sync::Barrier;
         let n_threads = 1_000;
@@ -577,7 +576,6 @@ mod sync {
     }
 
     #[test]
-    #[cfg_attr(miri, ignore)] // FIXME: deadlocks, likely caused by https://github.com/rust-lang/miri/issues/1388
     fn once_cell_does_not_leak_partially_constructed_boxes() {
         let n_tries = 100;
         let n_readers = 10;
@@ -604,7 +602,6 @@ mod sync {
     }
 
     #[test]
-    #[cfg_attr(miri, ignore)] // miri doesn't support Barrier
     fn get_does_not_block() {
         use std::sync::Barrier;