Trait Observer

pub trait Observer<I, S>: Named {
    // Provided methods
    fn flush(&mut self) -> Result<(), Error> { ... }
    fn pre_exec(&mut self, _state: &mut S, _input: &I) -> Result<(), Error> { ... }
    fn post_exec(
        &mut self,
        _state: &mut S,
        _input: &I,
        _exit_kind: &ExitKind,
    ) -> Result<(), Error> { ... }
    fn pre_exec_child(
        &mut self,
        _state: &mut S,
        _input: &I,
    ) -> Result<(), Error> { ... }
    fn post_exec_child(
        &mut self,
        _state: &mut S,
        _input: &I,
        _exit_kind: &ExitKind,
    ) -> Result<(), Error> { ... }
}

Observers observe different information about the target. They can then be used by various sorts of feedback.

Provided Methods

fn flush(&mut self) -> Result<(), Error>

The testcase finished execution, calculate any changes. Reserved for future use.

fn pre_exec(&mut self, _state: &mut S, _input: &I) -> Result<(), Error>

Called right before execution starts.

fn post_exec( &mut self, _state: &mut S, _input: &I, _exit_kind: &ExitKind, ) -> Result<(), Error>

Called right after execution finishes.

fn pre_exec_child(&mut self, _state: &mut S, _input: &I) -> Result<(), Error>

Called right before execution starts in the child process, if any.

fn post_exec_child( &mut self, _state: &mut S, _input: &I, _exit_kind: &ExitKind, ) -> Result<(), Error>

Called right after execution finishes in the child process, if any.

Implementors

impl<CM, I, S> Observer<I, S> for StdCmpObserver<'_, CM>

where CM: Serialize + CmpMap + HasLen, S: HasMetadata,

impl<I, S> Observer<I, S> for ConcolicObserver<'_>

impl<I, S> Observer<I, S> for AsanBacktraceObserver

impl<I, S> Observer<I, S> for BacktraceObserver<'_>

impl<I, S> Observer<I, S> for TimeObserver

impl<I, S, M> Observer<I, S> for HitcountsIterableMapObserver<M>

where M: MapObserver<Entry = u8> + Observer<I, S> + for<'it> AsIterMut<'it, Item = u8>,

impl<I, S, M> Observer<I, S> for HitcountsMapObserver<M>

where M: MapObserver<Entry = u8> + Observer<I, S> + for<'a> AsSliceMut<'a, Entry = u8>,

impl<I, S, T> Observer<I, S> for ListObserver<T>

impl<I, S, T> Observer<I, S> for MultiMapObserver<'_, T, false>

where Self: MapObserver,

impl<I, S, T> Observer<I, S> for MultiMapObserver<'_, T, true>

impl<I, S, T> Observer<I, S> for OwnedMapObserver<T>

where Self: MapObserver,

impl<I, S, T> Observer<I, S> for StdMapObserver<'_, T, false>

where Self: MapObserver,

impl<I, S, T> Observer<I, S> for StdMapObserver<'_, T, true>

impl<I, S, T> Observer<I, S> for VariableMapObserver<'_, T>

where Self: MapObserver,

impl<I, S, T> Observer<I, S> for OutputObserver<T>

where T: 'static,

impl<I, S, T> Observer<I, S> for RefCellValueObserver<'_, T>

This does not reset the value inside the observer.

impl<I, S, T> Observer<I, S> for ValueObserver<'_, T>

This does not reset the value inside the observer.

impl<I, S, T, const N: usize> Observer<I, S> for ConstMapObserver<'_, T, N>

where Self: MapObserver,

impl<S, I, T, const ITH: bool, const NTH: bool> Observer<I, S> for ExplicitTracking<T, ITH, NTH>

where T: Observer<I, S>,