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.0K
8 0.10.0 7.1K
2 0.9.0 1.0K
3 0.8.0 36
3 0.7.0 9
Depender (with downloads and own rev deps) bolero-kani version
17K 25 bolero ^0.11