src/tools/miri/tests/utils/io.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25

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(())
    }
}