Function report 

pub fn report(spec: &Spec, opts: &RunOptions, checks: &[Check]) -> String

The verification report of a specification: the header of the reports of its runs (comnum_sim::loggers::run_header: the name, the seed, the batch, the threads, the stopping rule and the confidence of spec with the options opts, the version and commit of the library, the specification), passed (every check passed) and checks (one object per check: name, source, condition, metric, expected, value, lo, hi, passed), as JSON text.