trace_collector

isla_lib::executor

Function trace_collector 

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