Trait bolero_engine::Test

pub trait Test: Sized {
    type Value;
    fn test<T: TestInput<Result<bool, Error>>>(
        &mut self, 
        input: &mut T
    ) -> Result<bool, Error>;
    fn generate_value<T: TestInput<Self::Value>>(
        &self, 
        input: &mut T
    ) -> 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: TestInput<Result<bool, Error>>>(
    &mut self,
    input: &mut T
) -> Result<bool, Error>

fn generate_value<T: TestInput<Self::Value>>(
    &self,
    input: &mut T
) -> 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...

Implementors

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

type Value = Vec<u8>

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

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

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

type Value = G::Output

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

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

Loading content...