pub fn reserve_output_stdin_snapshot(stdin: Option<File>) -> Result<()>Expand description
Records a rewindable snapshot of the process stdin so the output-capturing
backends can replay identical input to each run of hermit run --verify.
stdin is the descriptor captured before Rust startup could reuse a closed
fd 0 (see the binary’s startup_stdin). A regular-file redirect is reopened
read-only; a pipe/fifo/socket is drained once into a seekable temporary file
and that file is reopened read-only. A terminal (or absent stdin) is treated
as /dev/null because a live terminal cannot be replayed identically to two
runs.