QuickTheories

QuickTheories copied to clipboard

Bumps [junit](https://github.com/junit-team/junit4) from 4.11 to 4.13.1. Release notes Sourced from junit's releases. JUnit 4.13.1 Please refer to the release notes for details. JUnit 4.13 Please refer to the release notes...

dependabot[bot]

The following simplified examples are written in Kotlin and were tested with version `0.25` and `0.26` of QuickTheories The test case below fails reliably. Even though the theory is asking...

pvigliatore

enable Dependabot v2

1

https://github.blog/2020-06-01-keep-all-your-packages-up-to-date-with-dependabot/ 

sullis

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.

jlink

The following code results in `java.lang.IllegalStateException: Gave up after finding only 1 example(s) matching the assumptions`, because the generators tend to generate empty arrays. Is this expected? Interestingly it seems...

eshioji

Exclusive ranges

1

Is it possible to create a Doubles generator that does not include `+Infinite` and `-Infinite`? All the between/range methods take inclusive parameters. Would it be possible to have methods are...

galderz

This is a work in progress PR related to Issue 38 https://github.com/quicktheories/QuickTheories/issues/38 If the direction seems reasonable, I would still need to implement the `excludingRanges` method but it's clear enough...

hyperpape

Creating numeric strings of specified lengths

1

Needed to create strings like this: "ISO0260000590230322000012A800001" that is a constant "ISO" + 22 numeric characters + A + 6 numeric characters. Could not generate a numeric string of fixed...

ZmurLV

I have a use case to test a large range of data, and it's taking several hours to complete the test. Is there any way to support the test to...

yanglu0106

Generate Strings using Character generator

1

Currently the String generators and StringDSL let you specify a minimum and maximum codepoint to restrict the character set, but there is no easy way to do something like generate...

doctau