Open jlink opened 4 years ago
There’s a repository targeted at comparing shrinking behaviour of various PBT libraries: https://github.com/jlink/shrinking-challenge
Would be great to have quicktheories therein. We’re happy to take PRs.
There’s a repository targeted at comparing shrinking behaviour of various PBT libraries: https://github.com/jlink/shrinking-challenge
Would be great to have quicktheories therein. We’re happy to take PRs.