link to group website

[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).
 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.
 
 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.