Search results

Wrong generalization for the overflow example (PaperExample1)

Status: Open.

#13 In leepike/SmartCheck;

· rudymatela opened on Aug 4, 2017

Counter-example too general (includes incorrect counter-examples)

Status: Open.

#12 In leepike/SmartCheck;

· rudymatela opened on Aug 4, 2017

Only activate existential sub-value generalization when there is more than one constructor

Status: Open.

#11 In leepike/SmartCheck;

· rudymatela opened on Aug 4, 2017

Support custom QuickCheck generators

Status: Open.

#6 In leepike/SmartCheck;

· gridaphobe opened on Jun 27, 2015

Shrinking base types

enhancement

Status: Open.

#2 In leepike/SmartCheck;

· leepike opened on Mar 24, 2013