➜

This issue tracker has been migrated to GitHub, and is currently read-only.
For more information, see the GitHub FAQs in the Python's Developer Guide.

Author Zac Hatfield-Dodds
Recipients Zac Hatfield-Dodds, gvanrossum, lys.nikolaou, pablogsal
Date 2020-05-18.02:25:25
SpamBayes Score -1.0
Marked as misclassified Yes
Message-id <1589768725.29.0.111104838426.issue40661@roundup.psfhosted.org>
In-reply-to
Content 
I understand from Paul Ganssle that this bug was found using Hypothesmith in my stdlib property tests (reported at https://github.com/Zac-HD/stdlib-property-tests/issues/14).

As discussed in https://github.com/we-like-parsers/cpython/issues/91 and https://pyfound.blogspot.com/2020/05/property-based-testing-for-python.html I'm keen to help out how I can, so if there's anything more specific than "write tools, write test, and wait" please let me know!

Best,
Zac
History
Date User Action Args
2020-05-18 02:25:25Zac Hatfield-Doddssetrecipients: + Zac Hatfield-Dodds, gvanrossum, lys.nikolaou, pablogsal
2020-05-18 02:25:25Zac Hatfield-Doddssetmessageid: <1589768725.29.0.111104838426.issue40661@roundup.psfhosted.org>
2020-05-18 02:25:25Zac Hatfield-Doddslinkissue40661 messages
2020-05-18 02:25:25Zac Hatfield-Doddscreate