rasio_spec/
macros.rs

1#[macro_export]
2macro_rules! async_spec {
3    ($f: ident, $syscall: expr) => {
4        print!("spec {} ...", stringify!($f));
5
6        $f($syscall).await;
7        println!(" ok");
8    };
9}