Decision Workspace
cranelift-control vs pbt vs pbt-macros
Side-by-side comparison of Rust crates
72
cranelift-control
growingv0.132.0
White-box fuzz testing framework
57
pbt
experimentalv0.4.25
Property-based testing with `derive` macros, aware of mutual induction & instantiability.
51
pbt-macros
experimentalv0.4.25
Property-based testing with `derive` macros, aware of mutual induction & instantiability.
Core Metrics
| cranelift-control | pbt | pbt-macros | |
|---|---|---|---|
| Health Score | 72 | 57 | 51 |
| Total Downloads | 17.6M | 3.8K | 504 |
| 30d Downloads | 2.5M | 0 | 0 |
| Dependents | 666 | 22 | 24 |
| Releases | 125 | 34 | 26 |
| Last Updated | 4d ago | 2d ago | 2d ago |
| Age | 3y | 9m | 1m |
Health Breakdown
cranelift-control
Maintenance
20
Quality
17
Community
15
Popularity
8
Documentation
12
pbt
Maintenance
19
Quality
14
Community
10
Popularity
4
Documentation
10
pbt-macros
Maintenance
14
Quality
14
Community
10
Popularity
3
Documentation
10
Technical Details
| cranelift-control | pbt | pbt-macros | |
|---|---|---|---|
| Version | 0.132.0 | 0.4.25 | 0.4.25 |
| Stable (≥1.0) | ✗ No | ✗ No | ✗ No |
| License | Apache-2.0 WITH LLVM-exception | MIT OR Apache-2.0 | MIT OR Apache-2.0 |
| Dependencies | 1 | 12 | 6 |
| Crate Size | 8KB | 50KB | 20KB |
| Features | 3 | 3 | 1 |
| Yanked % | 0.0% | 0.0% | 0.0% |
| Edition | 2024 | 2024 | 2024 |
| MSRV | 1.93.0 | — | — |
| Owners | 2 (team) | 1 | 1 |
Links
Quick Verdict
- •cranelift-control leads with a health score of 72/100, but none of the options score above 80.
- •cranelift-control is depended on by 666 crates — strongest ecosystem trust.