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.