quicktheories QuickTheories issues

quicktheories / QuickTheories

Property based testing for Java 8

Apache License 2.0

506 stars 51 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Bump junit from 4.11 to 4.13.1

#77 dependabot[bot] opened 3 years ago
0
Assumptions that check for non-empty lists fail because empty lists are generated too often

#76 pvigliatore opened 3 years ago
0
enable Dependabot v2

#75 sullis opened 3 years ago
1
Add quicktheories examples to shrinking challenge

#74 jlink opened 3 years ago
0
Integer generator outputs 0 very frequently

#73 eshioji opened 3 years ago
0
Implement excludingRange and withRange functionality for Strings

#72 hyperpape opened 4 years ago
0
Support multithreading?

#71 yanglu0106 opened 4 years ago
0
Exclusive ranges

#70 galderz opened 4 years ago
1
Creating numeric strings of specified lengths

#69 ZmurLV opened 4 years ago
1
improving javadoc

#68 dfa1 closed 4 years ago
0
minor code cleanups

#67 dfa1 closed 4 years ago
1
Fixes typo in Reporter interface

#66 rarbuthnot closed 4 years ago
1
Add recursive generator

#65 jockbert opened 4 years ago
0
Proposal: create a type of generator supporting recursive values

#64 hyperpape opened 4 years ago
9
withUnlimitedExamples() combined with withTestingTime() doesn't seem to be obeyed

#63 yongk802 opened 4 years ago
0
(perf) Avoid creating extra Constraints in Gen & Generate methods

#62 hyperpape closed 5 years ago
2
build on windows and osx

#61 hcoles closed 5 years ago
0
do not merge

#60 hcoles closed 5 years ago
0
Clear error message for .pick from empty list

#59 matthewleon closed 5 years ago
0
fixes a typo in the examples

#58 matthewleon closed 5 years ago
1
Switched Lists.listOf to use new ArrayList(size) constructor to avoid memory copies. Added new ArrayListDSL which mirrors the ListDSL to offer similar flexability

#57 dcapwell opened 5 years ago
0
Added charArrays which avoid boxing, and added base32 and geohash encoding

#56 dcapwell opened 5 years ago
0
Alternative Stateful API

#55 jrwest opened 5 years ago
0
String DSL should support valid UTF-8

#54 dcapwell opened 5 years ago
3
Math is broken - example is not working

#53 jpomykala closed 5 years ago
2
Typos in org.quicktheories.core.Reporter

#52 chagmed closed 4 years ago
0
Adds support for frequency generators

#51 jonmeredith closed 5 years ago
1
Take samples from generators

#50 jrwest opened 5 years ago
2
Profiles and Testing Time Configuration Changes

#49 jrwest closed 5 years ago
1
Can't consistently set number of examples

#48 reedrosenbluth opened 5 years ago
6
Improve list shrinking?

#47 jockbert closed 1 year ago
7
fix package in README examples

#46 gfredericks closed 5 years ago
1
Generate unique values

#45 diveshpremdeep closed 5 years ago
4
Readme formatting and a typo

#44 lischenko closed 6 years ago
1
Exception handling errors in TheoryBuilder

#43 brijendra98 opened 6 years ago
0
Additional feature? State-machine-based property testing

#42 ccol002 opened 6 years ago
2
String generator generates faulty Strings when using basicMultilingualPlaneAlphabet() or allPossible()

#41 jellenelis opened 6 years ago
0
error reporting when using checkAssert

#40 danwallach opened 6 years ago
1
Generator for type with more than 2 properties

#39 reedrosenbluth opened 6 years ago
3
Generate Strings using Character generator

#38 doctau opened 6 years ago
1
Generating primitive-type arrays

#37 edrdo opened 6 years ago
2
Is there a clean way to generate values, omitting particular values?

#36 michaelmp closed 6 years ago
2
QT is $

#35 michaelmp closed 6 years ago
1
Add method to support dependent generators in forAll

#34 doctau closed 6 years ago
2
Add Gen and DSL for maps

#33 doctau closed 6 years ago
1
Dependent generators

#32 monga closed 6 years ago
2
Typo in the first README example

#31 monga closed 6 years ago
1
Add jqwik to list of other PBT implementations

#30 jlink closed 6 years ago
3
added Generator.onOff(..) picking a random generator

#29 merlijn closed 6 years ago
1
Generate.oneOff(..)

#28 merlijn closed 6 years ago
3