minithesis icon indicating copy to clipboard operation
minithesis copied to clipboard

A very minimal implementation of the core idea of Hypothesis

Results 5 minithesis issues
Sort by recently updated
recently updated
newest added

Bumps [py](https://github.com/pytest-dev/py) from 1.9.0 to 1.10.0. Changelog Sourced from py's changelog. 1.10.0 (2020-12-12) Fix a regular expression DoS vulnerability in the py.path.svnwc SVN blame functionality (CVE-2020-29651) Update vendored apipkg: 1.4...

dependencies

I was looking at https://github.com/jlink/shrinking-challenge and noticed it has benchmarks for Hypothesis. I think it would be handy to have benchmarks for Minithesis too, so it's easy to see how...

Bumps [black](https://github.com/psf/black) from 24.2.0 to 24.3.0. Release notes Sourced from black's releases. 24.3.0 Highlights This release is a milestone: it fixes Black's first CVE security vulnerability. If you run Black...

dependencies

This PR mainly extracts shrinking passes into their own functions, and tries to write these functions to be a bit more legible.