Liam DeVoe

Here's the real problem: crosshair raises `NotDeterministic` when converting from ir to bits. The flow looks something like this: - we're testing `@given(integers()) def f(n): assert n != 12345` -...

what would "ask crosshair to reify them" look like? We basically *are* appending the symbolic values to a list by tracking them in `ir_tree`, and we basically are asking crosshair...

Nice! I think if you could update `data.export_value`, I'll try hooking it up and seeing if it works at all, and then we can settle on how exactly to interop...

It would definitely be easier to implement if `export_value` could be called outside of the context manager 😄. I think `export_value` is currently broken though, because it references `self.get_contxt_manager`, which...

Thanks! This looks like what I was imagining as well, though the `IgnoreAttempt` comment is a bit worrying? I saw `IgnoreAttempt` when drawing bounded integers from crosshair as well. Hypothesis...

> Probably we should just not try to generate more here? I noticed you had a similar conditional in your initial implementation, but I'm hopeful we can get the full...

> (I also hooked up post_test_case_hook to export_value, which I presume I was supposed to do!) Yup, my bad for not mentioning it. Initial debugging of that error: `data.provider.post_test_case_hook(node.value)` returns...

Thanks for the report! I have no doubt this regressed in https://github.com/HypothesisWorks/hypothesis/pull/3818. I'll take a look later today.

Hmm. This is an overrun during `generate_novel_prefix`, due to the possibility that drawing a *single* node during novel generation takes more than `BUFFER_SIZE` in extreme cases. In the case above,...

Sorry, I know this is a pretty frustrating bug to run into. I'll look into this within the week.