bolero-kani is used at run time in 3 crates (of which 3 optionally). It is a direct run-time dependency in 1 crate. It's used only as a dev dependency in 22 crates.

Number of dependers bolero-kani version Downloads/month
9 0.11.2 3.1K
8 0.10.0 11K
2 0.9.0 700
3 0.8.0 18
3 0.7.0 0
Depender (with downloads and own rev deps) bolero-kani version
23K 25 bolero ^0.11