search

camshaft / bolero

property testing and verification front-end for Rust
https://camshaft.github.io/bolero
MIT License
185 stars 17 forks source link

Integration with arbitrary is broken on bolero 0.11.x #237

Closed glebpom closed 4 months ago

glebpom commented 4 months ago

On bolero 0.11:

This test:

        bolero::check!()
            .with_arbitrary::<String>()
            .cloned()
            .for_each(|input| {
                println!("{:?}", input);
                true
            });

gives only empty strings, but if changing with_arbitrary to with_type, it gives random strings.

camshaft commented 4 months ago

Thanks for opening an issue! I've got a fix in #238, along with new test assertions making sure it doesn't happen again.