quicktheories/QuickTheories issues and pull requests

#77 - Bump junit from 4.11 to 4.13.1

Pull Request - State: open - Opened by dependabot[bot] over 3 years ago
Labels: dependencies

#76 - Assumptions that check for non-empty lists fail because empty lists are generated too often

Issue - State: open - Opened by pvigliatore over 3 years ago

#75 - enable Dependabot v2

Pull Request - State: open - Opened by sullis almost 4 years ago - 1 comment

#74 - Add quicktheories examples to shrinking challenge

Issue - State: open - Opened by jlink almost 4 years ago

#73 - Integer generator outputs 0 very frequently

Issue - State: open - Opened by eshioji almost 4 years ago

#72 - Implement excludingRange and withRange functionality for Strings

Pull Request - State: open - Opened by hyperpape about 4 years ago

#71 - Support multithreading?

Issue - State: open - Opened by yanglu0106 over 4 years ago

#70 - Exclusive ranges

Issue - State: open - Opened by galderz over 4 years ago - 1 comment

#69 - Creating numeric strings of specified lengths

Issue - State: open - Opened by ZmurLV over 4 years ago - 1 comment

#68 - improving javadoc

Pull Request - State: closed - Opened by dfa1 over 4 years ago

#67 - minor code cleanups

Pull Request - State: closed - Opened by dfa1 over 4 years ago - 1 comment

#66 - Fixes typo in Reporter interface

Pull Request - State: closed - Opened by rarbuthnot over 4 years ago - 1 comment

#65 - Add recursive generator

Pull Request - State: open - Opened by jockbert almost 5 years ago

#65 - Add recursive generator

Pull Request - State: open - Opened by jockbert almost 5 years ago

#64 - Proposal: create a type of generator supporting recursive values

Issue - State: open - Opened by hyperpape almost 5 years ago - 9 comments

#63 - withUnlimitedExamples() combined with withTestingTime() doesn't seem to be obeyed

Issue - State: open - Opened by yongk802 almost 5 years ago

#62 - (perf) Avoid creating extra Constraints in Gen & Generate methods

Pull Request - State: closed - Opened by hyperpape about 5 years ago - 2 comments

#61 - build on windows and osx

Pull Request - State: closed - Opened by hcoles over 5 years ago

#61 - build on windows and osx

Pull Request - State: closed - Opened by hcoles over 5 years ago

#60 - do not merge

Pull Request - State: closed - Opened by hcoles over 5 years ago

#60 - do not merge

Pull Request - State: closed - Opened by hcoles over 5 years ago

#59 - Clear error message for .pick from empty list

Pull Request - State: closed - Opened by matthewleon over 5 years ago

#58 - fixes a typo in the examples

Pull Request - State: closed - Opened by matthewleon over 5 years ago - 1 comment

#57 - Switched Lists.listOf to use new ArrayList(size) constructor to avoid memory copies. Added new ArrayListDSL which mirrors the ListDSL to offer similar flexability

Pull Request - State: open - Opened by dcapwell over 5 years ago

#56 - Added charArrays which avoid boxing, and added base32 and geohash encoding

Pull Request - State: open - Opened by dcapwell over 5 years ago

#55 - Alternative Stateful API

Pull Request - State: open - Opened by jrwest over 5 years ago

#54 - String DSL should support valid UTF-8

Issue - State: open - Opened by dcapwell over 5 years ago - 3 comments

#54 - String DSL should support valid UTF-8

Issue - State: open - Opened by dcapwell over 5 years ago - 3 comments

#53 - Math is broken - example is not working

Issue - State: closed - Opened by jpomykala over 5 years ago - 2 comments

#53 - Math is broken - example is not working

Issue - State: closed - Opened by jpomykala over 5 years ago - 2 comments

#52 - Typos in org.quicktheories.core.Reporter

Issue - State: closed - Opened by chagmed over 5 years ago

#51 - Adds support for frequency generators

Pull Request - State: closed - Opened by jonmeredith over 5 years ago - 1 comment

#51 - Adds support for frequency generators

Pull Request - State: closed - Opened by jonmeredith over 5 years ago - 1 comment

#50 - Take samples from generators

Pull Request - State: open - Opened by jrwest over 5 years ago - 2 comments

#49 - Profiles and Testing Time Configuration Changes

Pull Request - State: closed - Opened by jrwest over 5 years ago - 1 comment

#48 - Can't consistently set number of examples

Issue - State: open - Opened by reedrosenbluth over 5 years ago - 6 comments

#47 - Improve list shrinking?

Issue - State: closed - Opened by jockbert almost 6 years ago - 7 comments

#46 - fix package in README examples

Pull Request - State: closed - Opened by gfredericks almost 6 years ago - 1 comment

#46 - fix package in README examples

Pull Request - State: closed - Opened by gfredericks almost 6 years ago - 1 comment

#45 - Generate unique values

Issue - State: closed - Opened by diveshpremdeep almost 6 years ago - 4 comments

#44 - Readme formatting and a typo

Pull Request - State: closed - Opened by lischenko about 6 years ago - 1 comment

#43 - Exception handling errors in TheoryBuilder

Issue - State: open - Opened by brijendra98 over 6 years ago

#43 - Exception handling errors in TheoryBuilder

Issue - State: open - Opened by brijendra98 over 6 years ago

#42 - Additional feature? State-machine-based property testing

Issue - State: open - Opened by ccol002 over 6 years ago - 2 comments

#41 - String generator generates faulty Strings when using basicMultilingualPlaneAlphabet() or allPossible()

Issue - State: open - Opened by jellenelis over 6 years ago

#40 - error reporting when using checkAssert

Issue - State: open - Opened by danwallach over 6 years ago - 1 comment

#39 - Generator for type with more than 2 properties

Issue - State: open - Opened by reedrosenbluth over 6 years ago - 3 comments

#38 - Generate Strings using Character generator

Issue - State: open - Opened by doctau over 6 years ago - 1 comment

#37 - Generating primitive-type arrays

Issue - State: open - Opened by edrdo over 6 years ago - 2 comments

#36 - Is there a clean way to generate values, omitting particular values?

Issue - State: closed - Opened by michaelmp over 6 years ago - 2 comments

#36 - Is there a clean way to generate values, omitting particular values?

Issue - State: closed - Opened by michaelmp over 6 years ago - 2 comments

#35 - QT is $

Issue - State: closed - Opened by michaelmp over 6 years ago - 1 comment

#34 - Add method to support dependent generators in forAll

Pull Request - State: closed - Opened by doctau over 6 years ago - 2 comments

#33 - Add Gen and DSL for maps

Pull Request - State: closed - Opened by doctau over 6 years ago - 1 comment

#33 - Add Gen and DSL for maps

Pull Request - State: closed - Opened by doctau over 6 years ago - 1 comment

#32 - Dependent generators

Issue - State: closed - Opened by monga over 6 years ago - 2 comments

#32 - Dependent generators

Issue - State: closed - Opened by monga over 6 years ago - 2 comments

#31 - Typo in the first README example

Pull Request - State: closed - Opened by monga over 6 years ago - 1 comment

#31 - Typo in the first README example

Pull Request - State: closed - Opened by monga over 6 years ago - 1 comment

#30 - Add jqwik to list of other PBT implementations

Issue - State: closed - Opened by jlink over 6 years ago - 3 comments

#29 - added Generator.onOff(..) picking a random generator

Pull Request - State: closed - Opened by merlijn over 6 years ago - 1 comment

#28 - Generate.oneOff(..)

Issue - State: closed - Opened by merlijn over 6 years ago - 3 comments

#28 - Generate.oneOff(..)

Issue - State: closed - Opened by merlijn over 6 years ago - 3 comments

#27 - Add specific values to generator.

Issue - State: open - Opened by jockbert over 6 years ago - 1 comment

#26 - Added jqwik to section of other property based testing systems

Pull Request - State: closed - Opened by jlink over 6 years ago

#25 - Guided search

Pull Request - State: closed - Opened by hcoles almost 7 years ago

#24 - Shrink does not stop in 0.1 releases

Issue - State: open - Opened by jockbert almost 7 years ago - 5 comments

#23 - Redesign

Pull Request - State: closed - Opened by hcoles almost 7 years ago

#22 - shouldIncludeOnlyFirst10ValuesInReport Test failing

Issue - State: closed - Opened by CSTDev almost 7 years ago - 2 comments

#22 - shouldIncludeOnlyFirst10ValuesInReport Test failing

Issue - State: closed - Opened by CSTDev almost 7 years ago - 2 comments

#21 - Auto generate code

Issue - State: open - Opened by hcoles almost 7 years ago

#20 - Add ranges for floats and doubles

Issue - State: closed - Opened by aaron868 almost 7 years ago - 2 comments

#20 - Add ranges for floats and doubles

Issue - State: closed - Opened by aaron868 almost 7 years ago - 2 comments

#19 - Added OSGi bundle generation using bnd

Pull Request - State: closed - Opened by jellenelis about 7 years ago

#19 - Added OSGi bundle generation using bnd

Pull Request - State: closed - Opened by jellenelis about 7 years ago

#18 - Fix NPE in asString method

Pull Request - State: closed - Opened by swthomas55 over 7 years ago

#17 - Fix doubles().fromZeroToOne() to generate uniformly distributed values

Pull Request - State: closed - Opened by marcin-mizianty almost 8 years ago - 3 comments

#16 - doubles().fromZeroToOne() generates values mostly around 0

Issue - State: closed - Opened by marcin-mizianty almost 8 years ago - 4 comments

#15 - Add circle ci

Pull Request - State: closed - Opened by hcoles about 8 years ago

#14 - Use custom AsString implementations recursively

Pull Request - State: closed - Opened by philandstuff about 8 years ago - 8 comments

#13 - New release?

Issue - State: closed - Opened by philandstuff about 8 years ago - 2 comments

#12 - Update README.md's description of junit-quickcheck's latest features.

Pull Request - State: closed - Opened by nedtwigg about 8 years ago