Macro checkers::with

macro_rules! with {
    ($f:expr) => { ... };
}

Simplified helper macro to run the checkers environment over a closure.

Examples

checkers::with!(|| {
    let _ = Box::into_raw(Box::new(0u128));
});