Trait bolero::Test

pub trait Test {
    type Value;
    fn test<T>(&mut self, input: &mut T) -> Result<bool, Error>
    where
        T: TestInput<Result<bool, Error>>;
    fn generate_value<T>(&self, input: &mut T) -> Self::Value
    where
        T: TestInput<Self::Value>;

    fn shrink(
        &mut self, 
        input: Vec<u8>, 
        seed: Option<u64>, 
        driver_mode: Option<DriverMode>
    ) -> Option<TestFailure<Self::Value>> { ... }
}

Associated Types

type Value

Loading content...

Required methods

fn test<T>(&mut self, input: &mut T) -> Result<bool, Error> where
    T: TestInput<Result<bool, Error>>, 

fn generate_value<T>(&self, input: &mut T) -> Self::Value where
    T: TestInput<Self::Value>, 

Loading content...

Provided methods

fn shrink(
    &mut self,
    input: Vec<u8>,
    seed: Option<u64>,
    driver_mode: Option<DriverMode>
) -> Option<TestFailure<Self::Value>>

Loading content...

Implementations on Foreign Types

impl<F, G, Ret> Test for GeneratorTest<F, G> where
    F: RefUnwindSafe + FnMut(<G as ValueGenerator>::Output) -> Ret,
    G: RefUnwindSafe + ValueGenerator,
    Ret: IntoTestResult,
    <G as ValueGenerator>::Output: RefUnwindSafe, 

type Value = <G as ValueGenerator>::Output

fn test<T>(&mut self, input: &mut T) -> Result<bool, Error> where
    T: TestInput<Result<bool, Error>>, 

fn generate_value<T>(
    &self,
    input: &mut T
) -> <GeneratorTest<F, G> as Test>::Value where
    T: TestInput<<GeneratorTest<F, G> as Test>::Value>, 

Loading content...

Implementors

impl<F, Ret> Test for F where
    F: RefUnwindSafe + FnMut(&[u8]) -> Ret,
    Ret: IntoTestResult, 

type Value = SliceDebug<Vec<u8>>

fn test<T>(&mut self, input: &mut T) -> Result<bool, Error> where
    T: TestInput<Result<bool, Error>>, 

fn generate_value<T>(&self, input: &mut T) -> <F as Test>::Value where
    T: TestInput<<F as Test>::Value>, 

Loading content...