kani icon indicating copy to clipboard operation
kani copied to clipboard
verified publisher icon model-checking

Implement `kani::spawn`

Open fzaiser opened this issue 3 years ago • 0 comments

For asynchronous code, it's important to be able to spawn tasks. Since tokio::spawn or something similar will be difficult to support, we should provide our own version that is optimized for Kani. Part of #1393

fzaiser avatar Aug 11 '22 18:08 fzaiser