Groups

Hypothesis users

Contact owners and managers

1–30 of 156

Welcome to the mailing list for Hypothesis!

If you don't have a Google account and are confused about how to subscribe, you can do so from here.

0 selected

6/24/15

Please add your name to the list of people using Hypothesis

Hi, Hypothesis fans! For a variety of reasons, both self-interested and altruistic, it would be super

unread,

Please add your name to the list of people using Hypothesis

Hi, Hypothesis fans! For a variety of reasons, both self-interested and altruistic, it would be super

6/24/15

Jul 7

Stateful value generation

Answering my own question: Should have used st.data() as an argument to the method which allowed me

unread,

Stateful value generation

Answering my own question: Should have used st.data() as an argument to the method which allowed me

Jul 7

Jacob Yu, Liam DeVoe5

Jun 11

How can I specify choice sequences to run for a test?

We now expose the choice sequence (and choice sequence spans; see PrimitiveProvider.span_start for

unread,

How can I specify choice sequences to run for a test?

We now expose the choice sequence (and choice sequence spans; see PrimitiveProvider.span_start for

Jun 11

Brian Slesinsky

6/22/24

Where is the Hypothesis API documentation?

Hi, I'm not normally a Python programmer, but I use a property-based testing library in

unread,

Where is the Hypothesis API documentation?

Hi, I'm not normally a Python programmer, but I use a property-based testing library in

6/22/24

James Edington Administrator, Florian Bruhin3

3/26/24

Testing many modules with the same interface?

Thanks for the suggestion. Fixtures seem to work great for this: @pytest.fixture(scope='package

unread,

Testing many modules with the same interface?

Thanks for the suggestion. Fixtures seem to work great for this: @pytest.fixture(scope='package

3/26/24

Anne Archibald, Zac Hatfield Dodds3

3/4/24

Dictionary/set order

On Sat, 2 Mar 2024 at 09:37, Zac Hatfield Dodds <zac.hatfi...@gmail.com> wrote: This is

unread,

Dictionary/set order

On Sat, 2 Mar 2024 at 09:37, Zac Hatfield Dodds <zac.hatfi...@gmail.com> wrote: This is

3/4/24

Paul Moore, … Anne Archibald7

2/29/24

Test doesn't pick up a problem - what am I doing wrong?

On Thursday 18 January 2024 at 14:00:14 UTC Paul Moore wrote: On Thu, 18 Jan 2024 at 04:51, Paul

unread,

Test doesn't pick up a problem - what am I doing wrong?

On Thursday 18 January 2024 at 14:00:14 UTC Paul Moore wrote: On Thu, 18 Jan 2024 at 04:51, Paul

2/29/24

Zac Hatfield-Dodds

2/27/24

Participate in a study about downstream PBT tooling!

Hi all, You may (or may not) have heard of Tyche, a neat tool that helps programmers understand what

unread,

Participate in a study about downstream PBT tooling!

Hi all, You may (or may not) have heard of Tyche, a neat tool that helps programmers understand what

2/27/24

Joshua Bronson2

2/21/24

Bundles vs. instance variables

To close the loop here, the docs have now been updated to clarify the below. Big thanks to Anne

unread,

Bundles vs. instance variables

To close the loop here, the docs have now been updated to clarify the below. Big thanks to Anne

2/21/24

Daniel Mahler, Matthew Butner2

1/16/24

Controlling the size of generated examples

The only thing that I can think of is instead of allowing the strategy to be inferred, to make it

unread,

Controlling the size of generated examples

The only thing that I can think of is instead of allowing the strategy to be inferred, to make it

1/16/24

Nicholas Chammas, Zac Hatfield Dodds2

1/15/24

Shrinking a given example

Great question! This comes up often enough that I've cross-posted and answered it at https://

unread,

Shrinking a given example

Great question! This comes up often enough that I've cross-posted and answered it at https://

1/15/24

Joey Tran, Zac Hatfield-Dodds3

11/19/23

Getting logging from stateful tests

We already had an explicit error if you tried to assign `MyStateMachine.settings = settings(...)`

unread,

Getting logging from stateful tests

We already had an explicit error if you tried to assign `MyStateMachine.settings = settings(...)`

11/19/23

9/19/23

Int pair generation is giving me negative values, but I dont think it should?

I have code like this, for registering the default strat for 2D positions (as int pairs): SIZE = 5

unread,

Int pair generation is giving me negative values, but I dont think it should?

I have code like this, for registering the default strat for 2D positions (as int pairs): SIZE = 5

9/19/23

9/3/23

Speedup recursive composite strategy

I have a recursive composite strategy that generates a small amount of data for each example, yet

unread,

Speedup recursive composite strategy

I have a recursive composite strategy that generates a small amount of data for each example, yet

9/3/23

Torsten Anders, Zac Hatfield Dodds3

8/19/23

Combining Hypothesis with Pytest's mark.parametrize()

Hi Torsten The current 'loop order' is because from Hypothesis' perspective, each set of

unread,

Combining Hypothesis with Pytest's mark.parametrize()

Hi Torsten The current 'loop order' is because from Hypothesis' perspective, each set of

8/19/23

Amihai Offenbacher

7/11/23

Not getting falsifying example

Hey, I'm using stateful testing on a class that is a sort of DB (so has actions like add, delete,

unread,

Not getting falsifying example

Hey, I'm using stateful testing on a class that is a sort of DB (so has actions like add, delete,

7/11/23

4/17/23

Split tests for parallel running?

I have a big Hypothesis-based integration test which takes ~1 hour to finish in CI and is now the

unread,

Split tests for parallel running?

I have a big Hypothesis-based integration test which takes ~1 hour to finish in CI and is now the

4/17/23

Michael De La Rue, Trent Savage3

4/3/23

Inefficiency in CSV generation

Right now all I have done is moved from a five column to a three column CSV and started generating

unread,

Inefficiency in CSV generation

Right now all I have done is moved from a five column to a three column CSV and started generating

4/3/23

Donald Trump, Jens Troeger4

1/11/23

How to generate functions

Hmm… does this help: >>> f = eval("lambda x: x*x") >>> f <function

unread,

How to generate functions

Hmm… does this help: >>> f = eval("lambda x: x*x") >>> f <function

1/11/23

1/4/23

hypothesis-users@googlegroups.com

Hey there, how can I view all the generated parameters. I want to see like a = 0, b = 7 a = -5, b = -

unread,

hypothesis-users@googlegroups.com

Hey there, how can I view all the generated parameters. I want to see like a = 0, b = 7 a = -5, b = -

1/4/23

12/30/22

Testing functions that aren’t idempotent.

Hello, Following up on this somewhat dated question: What does Flaky: Hypothesis test produces

unread,

Testing functions that aren’t idempotent.

Hello, Following up on this somewhat dated question: What does Flaky: Hypothesis test produces

12/30/22

12/28/22

Programmatically accessing statistics

Hello, There's a section Test statistics that Hypothesis may print after running. Is it possible

unread,

Programmatically accessing statistics

Hello, There's a section Test statistics that Hypothesis may print after running. Is it possible

12/28/22

12/28/22

String lengths when using the text() strategy?

Hello, Without specifying min_size and max_size for the text() strategy, which values are being

unread,

String lengths when using the text() strategy?

Hello, Without specifying min_size and max_size for the text() strategy, which values are being

12/28/22

Abulafia, Zac Hatfield Dodds2

12/22/22

Strategy for interdependent attributes of a class

Hi Abulafia, I've answered this over on StackOverflow so that other users are more likely to

unread,

Strategy for interdependent attributes of a class

Hi Abulafia, I've answered this over on StackOverflow so that other users are more likely to

12/22/22

Jonathan Berthias, Zac Hatfield Dodds2

12/17/22

Invalid examples in simple cases

Hi Jonathan, https://hypothesis.works/articles/how-hypothesis-works/ explains a bit about Hypothesis

unread,

Invalid examples in simple cases

Hi Jonathan, https://hypothesis.works/articles/how-hypothesis-works/ explains a bit about Hypothesis

12/17/22

Štěpán Balážik, Zac Hatfield Dodds2

11/14/22

Generating list of strings, need to limit both the list length and the total length of strings (without filter?)

Hi Štěpán, You could also express this with a .map(), taking the longest acceptable prefix of the

unread,

Generating list of strings, need to limit both the list length and the total length of strings (without filter?)

Hi Štěpán, You could also express this with a .map(), taking the longest acceptable prefix of the

11/14/22

Paul Wolneykien, Zac Hatfield Dodds2

9/5/22

Should assume() filter explicit examples?

Hi Paul While it's a little odd, we implemented this deliberately to better support use-cases

unread,

Should assume() filter explicit examples?

Hi Paul While it's a little odd, we implemented this deliberately to better support use-cases

9/5/22

Hugh Hopper, Zac Hatfield Dodds2

8/20/22

HealthCheck/Unsatisfiable errors with newer version

Hi Hugh The problem in this case is that your shape `(2, 257)` is quite a few elements for Hypothesis

unread,

HealthCheck/Unsatisfiable errors with newer version

Hi Hugh The problem in this case is that your shape `(2, 257)` is quite a few elements for Hypothesis

8/20/22

Paul Wolneykien, Zac Hatfield Dodds3

8/4/22

hypothesis-cats

В Thu, 28 Jul 2022 23:43:31 -0700 Zac Hatfield Dodds <zac.hatfi...@gmail.com> пишет: >

unread,

hypothesis-cats

В Thu, 28 Jul 2022 23:43:31 -0700 Zac Hatfield Dodds <zac.hatfi...@gmail.com> пишет: >

8/4/22

Yoshifumi YAMAGUCHI, Zac Hatfield Dodds3

7/10/22

Probability controls

Thank you, Zac for the detailed answer. I believe the philosophy described in this answer is good to

unread,

Probability controls

Thank you, Zac for the detailed answer. I believe the philosophy described in this answer is good to

7/10/22

5/29/22

Custom Input Help

Hi there! I'm quite new to the library (also a student so I may have missed obvious things), but

unread,

Custom Input Help

Hi there! I'm quite new to the library (also a student so I may have missed obvious things), but

5/29/22

Search

Clear search

Close search

Google apps

Main menu