Skip to main content

output_backend_stdin

Function output_backend_stdin 

Source
pub fn output_backend_stdin() -> Result<Stdio, Error>
Expand description

Returns the stdin to hand a guest run in an output-capturing backend.

When reserve_output_stdin_snapshot has stored a replayable snapshot the file is rewound and a fresh descriptor handed to the guest, so each --verify run reads identical input. Otherwise (no snapshot reserved, or a terminal/absent stdin) the guest gets /dev/null, matching the previous behavior for callers that do not reserve a snapshot.