Function kani::futures::block_on_with_spawn

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

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

Contrary to block_on, this allows spawning other futures