search

proptest-rs / proptest

Hypothesis-like property testing for Rust
Apache License 2.0
1.74k stars 161 forks source link

Make libm optional in a std environment #499

Closed bantonsson closed 2 months ago

bantonsson commented 3 months ago

When adding proptest as a dev-dependency it will add libm transitively no matter what, and this has noticeable effect on our criterion benchmarks.

This happens even if you add proptest like this:

proptest = {version = "1.5", features = ["std"], default-features = false}
matthew-russo commented 2 months ago

This got closed when i switched branch from master to main. I'll re-open against the main branch.