Constant libafl::observers::concolic::EXPRESSION_PRUNING
source · pub const EXPRESSION_PRUNING: &str = "LIBAFL_CONCOLIC_EXPRESSION_PRUNING";
Expand description
The name of the environment variable that signals the runtime to perform expression pruning.