Function smoke::run

pub fn run<F>(f: F) where
    F: Fn(&mut Context), 

Create a new context to execute tests into

use smoke::{run, forall, Generator, Property, Testable, generator::num, property::greater};

run(|ctx| {
    forall(num::<u32>())
        .ensure(|n| greater(*n + 1, *n))
        .test(ctx);
    // other test instances
});