builder: disable io and timer running w/ miri

Fixes: tokio-rs#3360
blasrodri · Jan 8, 2021 · e241ea9 · e241ea9
1 parent e42317b
commit e241ea9
Showing 1 changed file with 13 additions and 0 deletions.
diff --git a/tokio/src/runtime/builder.rs b/tokio/src/runtime/builder.rs
@@ -459,10 +459,16 @@ cfg_io_driver! {
         ///     .build()
         ///     .unwrap();
         /// ```
+        #[cfg(not(miri))]
         pub fn enable_io(&mut self) -> &mut Self {
             self.enable_io = true;
             self
         }
+
+        #[cfg(miri)]
+        pub fn enable_io(&mut self) -> &mut Self {
+            self
+        }
     }
 }
 
@@ -482,10 +488,17 @@ cfg_time! {
         ///     .build()
         ///     .unwrap();
         /// ```
+        #[cfg(not(miri))]
         pub fn enable_time(&mut self) -> &mut Self {
             self.enable_time = true;
             self
         }
+
+        #[cfg(miri)]
+        pub fn enable_time(&mut self) -> &mut Self {
+            self
+        }
+
     }
 }