Struct modelator::TestReport [−][src]
pub struct TestReport { /* fields omitted */ }
Expand description
Wraps the data from running test(s), allowing more convenient access to the results.
Implementations
Returns true iff no test failed
Get the vector of results from running counterexample(s) for a single test
Returns the vector containing the results for each test
Auto Trait Implementations
impl RefUnwindSafe for TestReport
impl Send for TestReport
impl Sync for TestReport
impl Unpin for TestReport
impl UnwindSafe for TestReport
Blanket Implementations
Mutably borrows from an owned value. Read more
pub fn vzip(self) -> V
Attaches the provided Subscriber
to this type, returning a
WithDispatch
wrapper. Read more
Attaches the current default Subscriber
to this type, returning a
WithDispatch
wrapper. Read more