BurntSushi / quickcheck

Automated property based testing for Rust (with shrinking).
The Unlicense
2.4k stars 149 forks source link

Hangs in shrinking / testcase failure #107

Closed bluss closed 8 years ago

bluss commented 8 years ago

Current git version seems to hang after a test failure, continuously spawning new threads.

bluss commented 8 years ago

This is enough for me to reproduce a hang:

#[test]
fn qc_bug() {
    fn prop(a: Vec<u8>) -> bool {
        a.contains(&1)
    }
    quickcheck::quickcheck(prop as fn(_) -> bool);
}

Using version fb2ed7bc0a3c3a00bd58f9d34cef0895a011374a

bluss commented 8 years ago

The bug is not in 49db7a7

cc @SeanRBurton due to recently merged PRs, maybe you know what's going on?

BurntSushi commented 8 years ago

Yeah, I haven't had time to grok those PRs yet (which is why I haven't published a new release). If I can't find time today or tomorrow, I'll revert and revisit them later.