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 |