diff options
Diffstat (limited to 'devel/hs-lazysmallcheck-ghc/pkg-descr')
| -rw-r--r-- | devel/hs-lazysmallcheck-ghc/pkg-descr | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/devel/hs-lazysmallcheck-ghc/pkg-descr b/devel/hs-lazysmallcheck-ghc/pkg-descr deleted file mode 100644 index 9ad601a05337..000000000000 --- a/devel/hs-lazysmallcheck-ghc/pkg-descr +++ /dev/null @@ -1,8 +0,0 @@ -Lazy SmallCheck is a library for exhaustive, demand-driven testing of -Haskell programs. It is based on the idea that if a property holds for -a partially-defined input then it must also hold for all fully-defined -refinements of the that input. Compared to `eager' input generation as -in SmallCheck, Lazy SmallCheck may require significantly fewer -test-cases to verify a property for all inputs up to a given depth. - -WWW: http://www.cs.york.ac.uk/~mfn/lazysmallcheck/ |