SmartCheck
SmartCheck copied to clipboard
leepike
A Smarter QuickCheck
It would be nice if SmartCheck supported custom generators, like QuickCheck does with `forAll`. For example, I want to use SmartCheck to test an interpreter I'm working on, but I...
not yet really familiar with you library but i think this will make it compile in newer ghc ghc-8 does no longer export generic instance for Double, Int but those...
This is more of a feature request than a bug itself. When there is only one possible constructor, existential sub-value generalization does not produce a very useful result. Consider the...
This is perhaps related to issue #12. For the [motivating example] of the SmartCheck paper, SmartCheck reports a correct counter-example, but an incorrect generalization: forall values x0 x1 x2 x3:...
Consider the following faulty `sort` implementation along with a property: sort :: Ord a => [a] -> [a] sort [] = [] sort (x:xs) = sort (filter (< x) xs)...
Add a way to optionally shrink base types. One way to do this would be to define a "shrink-like" class, and the user can define instances for types they want...
