Giters
quicktheories
/
QuickTheories
Property based testing for Java 8
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
502
Watchers:
37
Issues:
33
Forks:
51
quicktheories/QuickTheories Issues
Improve list shrinking?
Closed
a year ago
Comments count
7
Assumptions that check for non-empty lists fail because empty lists are generated too often
Updated
4 years ago
Add quicktheories examples to shrinking challenge
Updated
4 years ago
Integer generator outputs 0 very frequently
Updated
4 years ago
Exclusive ranges
Updated
4 years ago
Comments count
1
Creating numeric strings of specified lengths
Updated
4 years ago
Comments count
1
Support multithreading?
Updated
4 years ago
Typos in org.quicktheories.core.Reporter
Closed
4 years ago
Generate Strings using Character generator
Updated
4 years ago
Comments count
1
Proposal: create a type of generator supporting recursive values
Updated
5 years ago
Comments count
9
withUnlimitedExamples() combined with withTestingTime() doesn't seem to be obeyed
Updated
5 years ago
Can't consistently set number of examples
Updated
5 years ago
Comments count
6
String DSL should support valid UTF-8
Updated
5 years ago
Comments count
3
Math is broken - example is not working
Closed
5 years ago
Comments count
2
Generate unique values
Closed
6 years ago
Comments count
4
error reporting when using checkAssert
Updated
6 years ago
Comments count
1
Exception handling errors in TheoryBuilder
Updated
6 years ago
Additional feature? State-machine-based property testing
Updated
6 years ago
Comments count
2
String generator generates faulty Strings when using basicMultilingualPlaneAlphabet() or allPossible()
Updated
6 years ago
Generator for type with more than 2 properties
Updated
6 years ago
Comments count
3
Add jqwik to list of other PBT implementations
Closed
7 years ago
Comments count
3
Is there a clean way to generate values, omitting particular values?
Closed
6 years ago
Comments count
2
Generating primitive-type arrays
Updated
7 years ago
Comments count
2
Add ranges for floats and doubles
Closed
7 years ago
Comments count
2
QT is $
Closed
7 years ago
Comments count
1
Dependent generators
Closed
7 years ago
Comments count
2
Shrink does not stop in 0.1 releases
Updated
7 years ago
Comments count
5
Generate.oneOff(..)
Closed
7 years ago
Comments count
3
shouldIncludeOnlyFirst10ValuesInReport Test failing
Closed
7 years ago
Comments count
2
Add specific values to generator.
Updated
7 years ago
Comments count
1
Auto generate code
Updated
7 years ago
doubles().fromZeroToOne() generates values mostly around 0
Closed
8 years ago
Comments count
4
New release?
Closed
8 years ago
Comments count
2