Module observers

Observers give insights about runs of a target, such as coverage, timing, stack depth, and more.

Re-exports

pub use stdio::StdErrObserver;

pub use stdio::StdOutObserver;

pub use cmp::*;

pub use stacktrace::*;

pub use map::*;

pub use list::*;

pub use value::*;

Modules

cmp

The CmpObserver provides access to the logged values of CMP instructions

concolic

Concolic Tracing

list

List observer

map

All the map observer variants

stacktrace

the StacktraceObserver looks up the stacktrace on the execution thread and computes a hash for it for dedupe

stdio

Observers for stdout and stderr

value

A simple observer with a single value.

Structs

TimeObserver

A simple observer, just overlooking the runtime of the target.

Traits

DifferentialObserver

A trait for Observers which observe over differential execution.

DifferentialObserversTuple

Differential observers tuple, for when you’re using multiple differential observers.

Observer

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

ObserverWithHashField

A trait for Observers with a hash field

ObserversTuple

A haskell-style tuple of observers