quicktheories/QuickTheories

Issues

• Improve list shrinking?

  #47 opened 2 years ago by jockbert
  7

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

  #76 opened 4 years ago by pvigliatore
  0

• Add quicktheories examples to shrinking challenge

  #74 opened 4 years ago by jlink
  0

• Integer generator outputs 0 very frequently

  #73 opened 4 years ago by eshioji
  0

• Exclusive ranges

  #70 opened 5 years ago by galderz
  1

• Creating numeric strings of specified lengths

  #69 opened 5 years ago by ZmurLV
  1

• Support multithreading?

  #71 opened 5 years ago by yanglu0106
  0

• Typos in org.quicktheories.core.Reporter

  #52 opened 5 years ago by chagmed
  0

• Generate Strings using Character generator

  #38 opened 7 years ago by doctau
  1

• Proposal: create a type of generator supporting recursive values

  #64 opened 5 years ago by hyperpape
  9

• withUnlimitedExamples() combined with withTestingTime() doesn't seem to be obeyed

  #63 opened 5 years ago by yongk802
  0

• Can't consistently set number of examples

  #48 opened 6 years ago by reedrosenbluth
  6

• String DSL should support valid UTF-8

  #54 opened 6 years ago by dcapwell
  3

• Math is broken - example is not working

  #53 opened 6 years ago by jpomykala
  2

• Generate unique values

  #45 opened 6 years ago by diveshpremdeep
  4

• error reporting when using checkAssert

  #40 opened 7 years ago by danwallach
  1

• Exception handling errors in TheoryBuilder

  #43 opened 7 years ago by brijendra98
  0

• Additional feature? State-machine-based property testing

  #42 opened 7 years ago by ccol002
  2

• String generator generates faulty Strings when using basicMultilingualPlaneAlphabet() or allPossible()

  #41 opened 7 years ago by jellenelis
  0

• Generator for type with more than 2 properties

  #39 opened 7 years ago by reedrosenbluth
  3

• Add jqwik to list of other PBT implementations

  #30 opened 7 years ago by jlink
  3

• Is there a clean way to generate values, omitting particular values?

  #36 opened 7 years ago by michaelmp
  2

• Generating primitive-type arrays

  #37 opened 7 years ago by edrdo
  2

• Add ranges for floats and doubles

  #20 opened 7 years ago by aaron868
  2

• QT is $

  #35 opened 7 years ago by michaelmp
  1

• Dependent generators

  #32 opened 7 years ago by monga
  2

• Shrink does not stop in 0.1 releases

  #24 opened 7 years ago by jockbert
  5

• Generate.oneOff(..)

  #28 opened 7 years ago by merlijn
  3

• shouldIncludeOnlyFirst10ValuesInReport Test failing

  #22 opened 7 years ago by CSTDev
  2

• Add specific values to generator.

  #27 opened 7 years ago by jockbert
  1

• Auto generate code

  #21 opened 8 years ago by hcoles
  0

• doubles().fromZeroToOne() generates values mostly around 0

  #16 opened 8 years ago by marcin-mizianty
  4

• New release?

  #13 opened 9 years ago by philandstuff
  2