Issues

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

  quicktheories/QuickTheories#76 · Filter by author pvigliatore opened on Sep 30, 2020

• Add quicktheories examples to shrinking challenge

  quicktheories/QuickTheories#74 · Filter by author jlink opened on Aug 18, 2020

• Integer generator outputs 0 very frequently

  quicktheories/QuickTheories#73 · Filter by author eshioji opened on Aug 2, 2020

• Support multithreading?

  quicktheories/QuickTheories#71 · Filter by author yanglu0106 opened on Mar 11, 2020

• Exclusive ranges

  quicktheories/QuickTheories#70 · Filter by author galderz opened on Mar 11, 2020
  1

• Creating numeric strings of specified lengths

  quicktheories/QuickTheories#69 · Filter by author ZmurLV opened on Jan 24, 2020
  1

• Proposal: create a type of generator supporting recursive values

  quicktheories/QuickTheories#64 · Filter by author hyperpape opened on Aug 24, 2019
  9

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

  quicktheories/QuickTheories#63 · Filter by author yongk802 opened on Aug 7, 2019

• String DSL should support valid UTF-8

  quicktheories/QuickTheories#54 · Filter by author dcapwell opened on Feb 15, 2019
  3

• Can't consistently set number of examples

  quicktheories/QuickTheories#48 · Filter by author reedrosenbluth opened on Dec 18, 2018
  6

• Exception handling errors in TheoryBuilder

  quicktheories/QuickTheories#43 · Filter by author brijendra98 opened on Mar 13, 2018

• Additional feature? State-machine-based property testing

  quicktheories/QuickTheories#42 · Filter by author ccol002 opened on Mar 8, 2018
  2

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

  quicktheories/QuickTheories#41 · Filter by author jellenelis opened on Mar 5, 2018

• error reporting when using checkAssert

  quicktheories/QuickTheories#40 · Filter by author danwallach opened on Feb 28, 2018
  1

• Generator for type with more than 2 properties

  quicktheories/QuickTheories#39 · Filter by author reedrosenbluth opened on Jan 19, 2018
  3

• Generate Strings using Character generator

  quicktheories/QuickTheories#38 · Filter by author doctau opened on Dec 14, 2017
  1

• Generating primitive-type arrays

  quicktheories/QuickTheories#37 · Filter by author edrdo opened on Nov 22, 2017
  2

• Add specific values to generator.

  quicktheories/QuickTheories#27 · Filter by author jockbert opened on Oct 2, 2017
  1

• Shrink does not stop in 0.1 releases

  quicktheories/QuickTheories#24 · Filter by author jockbert opened on Sep 28, 2017
  5

• Auto generate code

  quicktheories/QuickTheories#21 · Filter by author hcoles opened on Jul 4, 2017