Skip to content

Allow specifying the scheduling strategy in #[kani_proof] for async functions#1661

Merged
celinval merged 8 commits intomodel-checking:mainfrom fzaiser:spawn-macroJul 27, 2023
+110-23

Commits

Commits on Jul 10, 2023

Commits on Jul 14, 2023

Commits on Jul 21, 2023

Commits on Jul 27, 2023