add Grove

[web.git] / 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 580f057fcc9fbc2bed3e1ce57fbac60e0ac1390d..41022f119f53f6357154a6b88c237696f2dfd3d5 100644 (file)
--- 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.