use core::fmt::{self, Write}; | |
use super::miri_extern; | |
pub struct MiriStderr; | |
impl Write for MiriStderr { | |
fn write_str(&mut self, s: &str) -> fmt::Result { | |
unsafe { | |
miri_extern::miri_write_to_stderr(s.as_bytes()); | |
} | |
Ok(()) | |
} | |
} | |
pub struct MiriStdout; | |
impl Write for MiriStdout { | |
fn write_str(&mut self, s: &str) -> fmt::Result { | |
unsafe { | |
miri_extern::miri_write_to_stdout(s.as_bytes()); | |
} | |
Ok(()) | |
} | |
} |