start_multi

isla_lib::executor

Function start_multi 

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

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