Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

New posts in quickcheck

Conditional QuickCheck properties

haskell quickcheck

QuickCheck: How to use exhaustiveness checker to prevent forgotten constructors of a sum type

haskell quickcheck

Idiomatic way to shrink a record in QuickCheck

haskell quickcheck

"cookbook" for converting from QuickCheck1 to QuickCheck2?

haskell quickcheck

What to use property testing for

How to tell QuickCheck to generate only valid list indices for a parameter?

haskell quickcheck

Where do QuickCheck instances belong in a cabal package?

haskell cabal quickcheck

Controlling how test data is generated in QuickCheck

haskell quickcheck

Test.QuickCheck.Monadic: why is assert applied to Bool, not Testable a => a

haskell quickcheck

How to get Haskell QuickCheck 2.4 to increase # tests?

haskell quickcheck

QuickCheck: Arbitrary instances of nested data structures that generate balanced specimens

How do I get good (small) shrinks out of QuickCheck?

haskell quickcheck

Can invariant testing replace unit testing?

unit-testing quickcheck

Have you used Quickcheck in a real project [closed]

How to generate arbitrary instances of a simple type for quickcheck

haskell quickcheck

What's new in QuickCheck 2?

haskell quickcheck

What is a shrink, with regard to Haskell's QuickCheck?

haskell quickcheck

Testing IO actions with Monadic QuickCheck

haskell io quickcheck