Function isla_lib::executor::start_multi

pub fn start_multi<'ir, B: BV, R>(
    num_threads: usize, 
    timeout: Option<u64>, 
    tasks: Vec<Task<'ir, B>>, 
    shared_state: &SharedState<'ir, B>, 
    collected: Arc<R>, 
    collector: &Collector<'ir, B, R>
) where
    R: Send + Sync, 

Start symbolically executing a Task across num_threads new threads, collecting the results using the given collector.