Function isla_lib::executor::trace_collector

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