Type Definition isla_lib::executor::Collector

type Collector<'ir, B, R> = dyn Sync + Fn(usize, usize, Result<(Val<B>, LocalFrame<'ir, B>), ExecError>, &SharedState<'ir, B>, Solver<B>, &R) + 'ir;

A collector is run on the result of each path found via symbolic execution through the code. It takes the result of the execution, which is either a combination of the return value and local state at the end of the execution or an error, as well as the shared state and the SMT solver state associated with that execution. It build a final result for all the executions by collecting the results into a type R, protected by a lock.