search

rust-lang / miri

An interpreter for Rust's mid-level intermediate representation
Apache License 2.0
4.65k stars 348 forks source link

indicate more explicitly where we close host file/dir handles #3993

Closed RalfJung closed 1 month ago

RalfJung commented 1 month ago

I pushed this into https://github.com/rust-lang/miri/pull/3990 after the approval, seems it got simply ignored.