Results 11 issues of Harry Stern

As I mentioned in IRC, I had a dumb idea: Use hypothesis stateful testing to solve the [towers of Hanoi](https://en.wikipedia.org/wiki/Tower_of_Hanoi) problem. It actually works: ``` Falsifying example: run_state_machine(factory=HanoiSolverSM, data=data(...)) state...

test-case-reduction

This PR is not complete, see discussion from #2331 regarding SelectDsl trait implementation.

It would be nice to mention the fact that in addition to using the `FromRequest::extract` method, you can also use the implementation of `FromRequest` for `Option` if you have form...

good-first-issue
code

**Describe the bug** In some cases it appears using --follow-exec can cause test code to not run somehow. **To Reproduce** https://github.com/boustrophedon/tarpaulin_missing_coverage/commits/master The original problem I'm trying to solve is the...

bug
Instrumentation

Show how to set top-level whipper arguments. It wasn't immediately obvious to me how to set top-level whipper flags like the eject flag in whipper.conf so I thought it would...

Obviously we can't do full generic N until const generics are implemented. I only wanted it for 3 `[f32; 2]`s anyway (and settled for six `f32`s in my function's parameters)...

enhancement

I saw https://www.ubicloud.com/docs/github-actions-integration/quickstart [on HN today](https://news.ycombinator.com/item?id=39191870) and it seems like it would be pretty easy to set up for extrasafe so we could consider supporting aarch64 without having to set...

Since 99% of the time you're just going to call unwrap or expect on the result of `enable`/`apply` calls, for the next release I'd like to rename `enable` to `try_enable`,...

Re: the use-case I mentioned in #2177 where you can use include_bytes! and SliceSafetensors to ship a model directly embedded in the output binary. Would it be useful to have...

Is it basically always okay to use SeccompCmpArgLen::Qword on 64 bit systems? I'm doing so in my tests and I don't seem to see any issues, but I also don't...