jlink / shrinking-challenge

Comparing shrinking approaches and performance across different PBT libraries

jlink/shrinking-challenge Issues

Submitting a PBT library entry
Closed 2 years ago1
Reports could mention median number of evaluations instead of mean
Updated 2 years ago1
Reports could also talk about running times
Updated 2 years ago1
Would you consider CsCheck?
Closed 3 years ago1
binheap challenge
Updated 3 years ago13
difference challenge
Updated 3 years ago6
Invite RapidCheck to the challenge
Closed 3 years ago3
Length list - generating a list "of precise length", shouldn't shrink to a list of length 1
Closed 4 years ago1
Phrasing issue in "large union list", and perhaps an extension to that problem
Updated 4 years ago6
Fermat primes challenge
Updated 4 years ago1
bound5 challenge
Updated 4 years ago6
nestedlists challenge
Updated 4 years ago3
Coupling Phrasing
Updated 4 years ago4
deletion challenge
Updated 4 years ago4