Give `FileDescription::{read, write}` access to the `MiriInterpCx `

rust-lang / miri

An interpreter for Rust's mid-level intermediate representation

Apache License 2.0

4.16k stars 318 forks source link

Closed Luv-Ray closed 1 month ago

Luv-Ray commented 1 month ago

fixes #3572

RalfJung commented 1 month ago

Looks good! Please squash the commits.

Luv-Ray commented 1 month ago

poll :) Is there anything left for me to do?

RalfJung commented 1 month ago

No, there's not, github just doesn't notify on all force pushes (only on some) so I didn't realize you had done the squashing.

Thanks! @bors r+

bors commented 1 month ago

:pushpin: Commit b9215a530545554b0c17510d825579cf76944a2a has been approved by RalfJung

It is now in the queue for this repository.

bors commented 1 month ago

:hourglass: Testing commit b9215a530545554b0c17510d825579cf76944a2a with merge ef8015534aa1e0e12c82c48ad0b779f1248e0d85...

bors commented 1 month ago

:sunny: Test successful - checks-actions Approved by: RalfJung Pushing ef8015534aa1e0e12c82c48ad0b779f1248e0d85 to master...