Module libafl::feedbacks::concolic [−][src]
Structs
The concolic feedback. It is used to attach concolic tracing metadata to the testcase.
This feedback should be used in combination with another feedback as this feedback always considers testcases
to be not interesting.
Requires a ConcolicObserver to observe the concolic trace.