X-Git-Url: https://git.ralfj.de/web.git/blobdiff_plain/09ff42fa71dc7358ecec8b9e4af9e7fa57781589..3a5d12fe9799efa07088e976c80717212ca3be64:/personal/_posts/2022-07-02-miri.md

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.