[−][src]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 });