trace_value_collector

isla_lib::executor

Function trace_value_collector 

Source 
pub fn trace_value_collector<'ir, B: BV>(
    _: usize,
    task_id: usize,
    result: Result<(Val<B>, LocalFrame<'ir, B>), (ExecError, Backtrace)>,
    _: &SharedState<'ir, B>,
    solver: Solver<'_, B>,
    collected: &TraceValueQueue<B>,
)