Function isla_lib::executor::start_single

pub fn start_single<'ir, B: BV, R>(
    task: Task<'ir, B>, 
    shared_state: &SharedState<'ir, B>, 
    collected: &R, 
    collector: &Collector<'ir, B, R>
)

Start symbolically executing a Task using just the current thread, collecting the results using the given collector.