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 24 crates.
| Number of dependers | bolero-kani version | Downloads/month |
|---|---|---|
| 11 | 0.12.0 | 2.7K |
| 1 | 0.11.2 | 270 |
| 7 | 0.10.0 | 7.3K |
| 2 | 0.9.0 | 650 |
| 3 | 0.8.0 | 25 |
| 3 | 0.7.0 | 1 |
| Depender (with downloads and own rev deps) | bolero-kani version | |||
|---|---|---|---|---|
| 20K | 26 | bolero | ^0.12 | |