kani::futures

Function 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