➜

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 gvanrossum
Recipients Guido.van.Rossum, Zac Hatfield-Dodds, gvanrossum, p-ganssle, terry.reedy
Date 2021-05-19.04:45:06
SpamBayes Score -1.0
Marked as misclassified Yes
Message-id <1621399506.76.0.368972988844.issue42109@roundup.psfhosted.org>
In-reply-to
Content 
Okay, well, I'm trying to understand minithesis.py, but I am despairing. The shrinking code (really everything in class TestingState) is too much to grok. You can tell from the amount of comments that this is the tour-de-force of the code, but the comments don't really help -- they seem to be mostly notes for people trying to reimplement this in another language. (Plus some snide remarks about QuickCheck.)

I suppose I have to read the paper at https://drmaciver.github.io/papers/reduction-via-generation-preview.pdf ... At least that has some drawings.

I am still unclear on some basics too, but presumably it's all related.

PS. What does "shortlex" mean?
History
Date User Action Args
2021-05-19 04:45:06gvanrossumsetrecipients: + gvanrossum, terry.reedy, Guido.van.Rossum, p-ganssle, Zac Hatfield-Dodds
2021-05-19 04:45:06gvanrossumsetmessageid: <1621399506.76.0.368972988844.issue42109@roundup.psfhosted.org>
2021-05-19 04:45:06gvanrossumlinkissue42109 messages
2021-05-19 04:45:06gvanrossumcreate