Search results

Migrate the Hypothesis engine from Python to Rust

internalsStuff that only Hypothesis devs should ever seeStuff that only Hypothesis devs should ever see

Status: Open.

#4740 In HypothesisWorks/hypothesis;

· Liam-DeVoe opened on May 25, 2026

Consider improvements from Python 3.15

internalsStuff that only Hypothesis devs should ever seeStuff that only Hypothesis devs should ever see

Status: Open.

#4736 In HypothesisWorks/hypothesis;

· Liam-DeVoe opened on May 21, 2026

Impersonating functions can affect tracebacks in unintended ways

legibilitymake errors helpful and Hypothesis grokablemake errors helpful and Hypothesis grokable

Status: Open.

#4681 In HypothesisWorks/hypothesis;

· johnslavik opened on Mar 24, 2026

Support PEP 794

enhancementit's not broken, but we want it to be betterit's not broken, but we want it to be better

tests/build/CIabout testing or deployment *of* Hypothesisabout testing or deployment *of* Hypothesis

Status: Open.

#4572 In HypothesisWorks/hypothesis;

· Liam-DeVoe opened on Oct 24, 2025

Website improvements

enhancementit's not broken, but we want it to be betterit's not broken, but we want it to be better

websitewebsite content, design, and opswebsite content, design, and ops

Status: Open.

#4495 In HypothesisWorks/hypothesis;

· Zac-HD opened on Aug 3, 2025

Improve our dependency pinning

tests/build/CIabout testing or deployment *of* Hypothesisabout testing or deployment *of* Hypothesis

Status: Open.

#4494 In HypothesisWorks/hypothesis;

· Zac-HD opened on Aug 2, 2025

Race condition error in recursive_property

bugsomething is clearly wrong heresomething is clearly wrong here

Status: Open.

#4475 In HypothesisWorks/hypothesis;

· Liam-DeVoe opened on Jul 16, 2025

sets() has potentially high redraw count from underlying strategies

performancego faster! use less memory!go faster! use less memory!

Status: Open.

#4458 In HypothesisWorks/hypothesis;

· qwekjh opened on Jun 30, 2025

hypothesis.stateful.consumes(bundle).flatmap gives TypeError: BundleConsumer.__init__() got an unexpected keyword argument 'consume'

bugsomething is clearly wrong heresomething is clearly wrong here

Status: Open.

#4427 In HypothesisWorks/hypothesis;

· lycantropos opened on Jun 2, 2025

Try varying interactive draws in Phase.explain

enhancementit's not broken, but we want it to be betterit's not broken, but we want it to be better

Status: Open.

#4403 In HypothesisWorks/hypothesis;

· Liam-DeVoe opened on May 22, 2025

Show data=data(...) instead of data=<symbolic> for observability + crosshair

legibilitymake errors helpful and Hypothesis grokablemake errors helpful and Hypothesis grokable

Status: Open.

#4402 In HypothesisWorks/hypothesis;

· Liam-DeVoe opened on May 22, 2025

New option to include choice sequence and spans in observability output

enhancementit's not broken, but we want it to be betterit's not broken, but we want it to be better

interophow to play nicely with other packageshow to play nicely with other packages

Status: Open.

#4387 In HypothesisWorks/hypothesis;

· Zac-HD opened on May 10, 2025