HypothesisWorks/hypothesis
Hypothesis is a powerful, flexible, and easy to use library for property-based testing.
PythonNOASSERTION
Issues
- 0
`st.from_regex()` alphabet improvements
#4008 opened by Zac-HD - 14
Migrate our core representation to an IR layer
#3921 opened by tybug - 0
Follow up on IR shrinking tasks
#4006 opened by tybug - 8
- 3
PyCon US 2024 sprints!
#3994 opened by Zac-HD - 0
Improve our internal coverage tests
#4003 opened by tybug - 0
`test_drawing_from_recursive_strategy_is_thread_safe` failed on Python 3.13.0b1
#4002 opened by Zac-HD - 0
- 2
Tests fail with StopTest (OVERRUN) when generating a random integer (strategies.randoms)
#3999 opened by khardix - 0
In `st.from_type()`, handle `typing.Unpack` like `annotated_types.GroupedMetadata`
#3993 opened by Zac-HD - 1
Ghostwriter: create @composite strategy from type
#3964 opened by cleder - 1
Adding support for long lists
#3967 opened by TobiasEnergyMachines - 1
Hypothesis 6.100.8 introduced a regression in `hypothesis.internal.conjecture.engine.ConjectureRunner`
#3992 opened by dycw - 3
AssertionError in generate_mutations_from
#3990 opened by wsanchez - 5
from_model throws ResolutionFailed for models with user-specified autoincrement id fields
#3978 opened by rascalking - 1
Small optimization in `find_annotated_strategy`
#3980 opened by Viicos - 9
Stable support for symbolic execution
#3914 opened by Zac-HD - 0
Add tests for failed validation in Pandas extra
#3968 opened by Zac-HD - 0
Fix stack-depth of warning in `@st.composite`
#3985 opened by Zac-HD - 0
integers strategy can fail with assertion error: `assert min_value is not None`
#3974 opened by pspacek - 1
Generation of incorrect values
#3982 opened by amitiunin - 10
memory leak present even in trivial tests
#3975 opened by pspacek - 1
Use of gc.get_referrers() in register_random breaks in free-threaded CPython 3.13
#3965 opened by ngoldbaum - 1
Get dependency-update PRs working again
#3958 opened by Zac-HD - 5
precondition with lambda function slows down RuleBasedStateMachine considerably
#3963 opened by pspacek - 1
- 2
Using overloaded composite strategies causes `HypothesisDeprecationWarning`
#3970 opened by stinodego - 2
`assert "lambda" in source, source` does not hold
#3956 opened by pspacek - 3
- 3
Generating non-IEEE `floats` - such as `bfloat16`, `bfloat32`, or various `float8_*` types
#3959 opened by qthequartermasterman - 1
Implement an Atheris fuzzing backend
#3912 opened by Zac-HD - 6
Ideas for some strategy optimizations
#3932 opened by hgoldstein95 - 9
- 1
- 3
Question: Possible to use a composite singleton?
#3954 opened by Wyko - 5
New bitfield strategy
#3952 opened by AdamWRichardson - 4
- 2
Easy way to skip all pytest hypothesis tests?
#3953 opened by hoodmane - 1
- 1
Create hypothesis.extra.xarray
#3948 opened by raybellwaves - 0
allow skipping NaT in `extra.numpy.from_dtype` with `datetime64_dtypes` and `timedelta64_dtypes`
#3943 opened by dcherian - 2
finish migrating the shrinker
#3945 opened by Zac-HD - 1
Executing exactly n tests, and no more.
#3939 opened by Wyko - 1
- 0
- 0
Investigate and fix lambda bug on Python 3.13
#3919 opened by Zac-HD - 5
- 2
Structural difference between `sampled_from` and `one_of`: motivation and possible unification?
#3922 opened by vreuter - 1
TypeError on CPython 3.13 for 6.99.2
#3916 opened by skirpichev - 2
Empty dictionaries generated with st.dictionaries and st.just despite expected behavior
#3909 opened by imAsparky