Function kani::futures::block_on_with_spawn

pub fn block_on_with_spawn<F: Future<Output = ()> + Sync + 'static>(
    fut: F,
    scheduling_plan: impl SchedulingStrategy,
)

Polls the given future and the tasks it may spawn until all of them complete

Contrary to block_on, this allows spawning other futures