From: Ralf Jung Date: Mon, 4 Jul 2022 13:16:17 +0000 (-0400) Subject: specify a bit more which shims we can reasonably support X-Git-Url: https://git.ralfj.de/web.git/commitdiff_plain/84967cec359589326ef7c5be05272547fa43088a?hp=09ff42fa71dc7358ecec8b9e4af9e7fa57781589 specify a bit more which shims we can reasonably support --- 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.