We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 805f35a commit 750c959Copy full SHA for 750c959
src/shims/unix/fd.rs
@@ -627,6 +627,8 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {
627
Ok(())
628
}
629
630
+ /// This function write bytes to the user supplied buffer and write the total number of bytes
631
+ /// written to the dest place. (TODO: fix phrasing later, this function might change)
632
fn read_byte_helper(
633
&mut self,
634
buf: Pointer,
0 commit comments