Open ckaran opened 2 years ago
Looks interesting. I'm not familiar with it but if you want to set it up for our CI runs, I'll merge it.
I tried to add bolero support over the weekend to see how difficult it would be, and rapidly realized that I'm going to have to spend some time thinking about how to add in support without causing headaches down the road. My plan is to get #6 in first (which should be fairly easy), and then really spend some time thinking about how to handle this feature request. I suspect that whenever I get the PR pulled together it will still require some effort to verify that it's doing the right thing in all cases.
Have you heard of bolero? It's a fuzz testing framework that is designed to work within rust's test environment. I used it heavily on the code for my Ph.D., and it was remarkably efficient at turning up bugs. It may be useful for you as well.