Jacob Finkelman

> hybrid of fuzzing and QuickCheck. proptest just [added](https://github.com/AltSysrq/proptest/issues/117) the ability to pass through a source of randomness. I think this would allow generators written for proptest to be run...

I think that the `TestRunner` will still support [shrinking](https://docs.rs/proptest/0.9.1/proptest/test_runner/struct.TestRunner.html#method.run), even when made with pass through mode. How much progress does someone need to make before you can contribute? Did you...

So I'd imagine that we would [disable](https://docs.rs/proptest/0.9.1/proptest/test_runner/struct.Config.html#structfield.max_shrink_iters) shrinking, when running under a intelligent fuzz harness. Then have some kind of file persistence, ether [proptest](https://docs.rs/proptest/0.9.1/proptest/test_runner/struct.Config.html#structfield.failure_persistence), or a hand coded, or one...

Having look this over it seems pretty reasonable. If you would prefer to experiment with a "resolution loop" I'd be happy to compare cost-benefits, but I suspect this is simpler....

> unlike regular patches (iiuc). Regular patches can also affect resolution. It is `replace` that can not.

I wish we had taken better notes about what problems #13066 fixed. I remember feeling strongly about it at the time. Let me try and reconstructed through brute force. There...

After dinner the problem became obvious, and a better design for the script also seems worth doing. The table has been updated.

Seams convincing. @bors r+

Can you try with https://doc.rust-lang.org/cargo/reference/config.html#netgit-fetch-with-cli set?

Sorry for the delay in ✔️