X-Git-Url: https://git.ralfj.de/web.git/blobdiff_plain/10c3804a821ea6a8c1ff365942cc04776ac895d9..3fed083b92acd14573fda1495888c9f9bcb733cd:/ralf/_posts/2022-07-02-miri.md

diff --git a/ralf/_posts/2022-07-02-miri.md b/ralf/_posts/2022-07-02-miri.md
index 580f057..41022f1 100644
--- a/ralf/_posts/2022-07-02-miri.md
+++ b/ralf/_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.