Search results

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

Status: Open.

#76 In quicktheories/QuickTheories;

· pvigliatore opened on Sep 30, 2020

Add quicktheories examples to shrinking challenge

Status: Open.

#74 In quicktheories/QuickTheories;

· jlink opened on Aug 18, 2020

Integer generator outputs 0 very frequently

Status: Open.

#73 In quicktheories/QuickTheories;

· eshioji opened on Aug 2, 2020

Support multithreading?

Status: Open.

#71 In quicktheories/QuickTheories;

· yanglu0106 opened on Mar 11, 2020

Exclusive ranges

Status: Open.

#70 In quicktheories/QuickTheories;

· galderz opened on Mar 11, 2020

Creating numeric strings of specified lengths

Status: Open.

#69 In quicktheories/QuickTheories;

· ZmurLV opened on Jan 24, 2020

Proposal: create a type of generator supporting recursive values

Status: Open.

#64 In quicktheories/QuickTheories;

· hyperpape opened on Aug 24, 2019

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

Status: Open.

#63 In quicktheories/QuickTheories;

· yongk802 opened on Aug 7, 2019

String DSL should support valid UTF-8

Status: Open.

#54 In quicktheories/QuickTheories;

· dcapwell opened on Feb 15, 2019

Can't consistently set number of examples

Status: Open.

#48 In quicktheories/QuickTheories;

· reedrosenbluth opened on Dec 18, 2018

Exception handling errors in TheoryBuilder

Status: Open.

#43 In quicktheories/QuickTheories;

· brijendra98 opened on Mar 13, 2018

Additional feature? State-machine-based property testing

Status: Open.

#42 In quicktheories/QuickTheories;

· ccol002 opened on Mar 8, 2018