Expand description
This module contains the concolic
stages, which can trace a target using symbolic execution
and use the results for fuzzer input and mutations.
Structs
Wraps a TracingStage
to add concolic observing.
A mutational stage that uses Z3 to solve concolic constraints attached to the crate::corpus::Testcase
by the ConcolicTracingStage
.