Skip to content

Implement kani::spawn #1504

@fzaiser

Description

@fzaiser

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

Metadata

Metadata

Assignees

Labels

No labels
No labels

Type

No type

Projects

Relationships

None yet

Development

No branches or pull requests

Issue actions