Function kani::futures::spawn

source ·
pub fn spawn<F: Future<Output = ()> + Sync + 'static>(fut: F) -> JoinHandle 
Expand description

Spawns a task on the current global executor (which is set by block_on_with_spawn)

This function can only be called inside a future passed to block_on_with_spawn.