diff options
Diffstat (limited to 'src/tools/miri/tests/fail/crates/tokio_mvp.rs')
| -rw-r--r-- | src/tools/miri/tests/fail/crates/tokio_mvp.rs | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/src/tools/miri/tests/fail/crates/tokio_mvp.rs b/src/tools/miri/tests/fail/crates/tokio_mvp.rs deleted file mode 100644 index 7cb42c09a96..00000000000 --- a/src/tools/miri/tests/fail/crates/tokio_mvp.rs +++ /dev/null @@ -1,7 +0,0 @@ -//@compile-flags: -Zmiri-disable-isolation -//@error-pattern: can't call foreign function: epoll_create1 -//@normalize-stderr-test: " = note: inside .*\n" -> "" -//@only-target-linux: the errors differ too much between platforms - -#[tokio::main] -async fn main() {} |