From 84967cec359589326ef7c5be05272547fa43088a Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Mon, 4 Jul 2022 09:16:17 -0400 Subject: [PATCH] specify a bit more which shims we can reasonably support --- personal/_posts/2022-07-02-miri.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/personal/_posts/2022-07-02-miri.md b/personal/_posts/2022-07-02-miri.md index 580f057..41022f1 100644 --- a/personal/_posts/2022-07-02-miri.md +++ b/personal/_posts/2022-07-02-miri.md @@ -219,6 +219,8 @@ let limit = if cfg!(miri) { 10 } else { 10_000 }; If your test suite needs to access OS facilities such as timers or the file system, set `MIRIFLAGS=-Zmiri-disable-isolation` to enable those. (Miri will tell you when that is necessary.) If your test suite runs into an unsupported operation, please [report an issue](https://github.com/rust-lang/miri/issues). +However, note that we can only really support sufficiently "generic" operations -- like accessing file systems and network sockets. +To implement things like `Py_IsInitialized` would mean putting a Python interpreter into Miri; that is not going to happen. ;) If you want to add Miri to your CI to ensure your test suite keeps working in Miri, please consult our [README](https://github.com/rust-lang/miri/#running-miri-on-ci). That document is also a great starting point for any other questions you might have. -- 2.30.2