| 1 | # $Id$ |
|---|
| 2 | |
|---|
| 3 | PortSystem 1.0 |
|---|
| 4 | PortGroup haskell 1.0 |
|---|
| 5 | haskell.setup QuickCheck 2.1.0.1 |
|---|
| 6 | maintainers iis.sinica.edu.tw:scm |
|---|
| 7 | platforms darwin |
|---|
| 8 | |
|---|
| 9 | description QuickCheck: Automatic testing of Haskell programs |
|---|
| 10 | long_description \ |
|---|
| 11 | QuickCheck is a library for random testing of program properties. \ |
|---|
| 12 | The programmer provides a specification of the program, in the form \ |
|---|
| 13 | of properties which functions should satisfy, and QuickCheck then \ |
|---|
| 14 | tests that the properties hold in a large number of randomly generated \ |
|---|
| 15 | cases.\ |
|---|
| 16 | Specifications are expressed in Haskell, using combinators defined \ |
|---|
| 17 | in the QuickCheck library. QuickCheck provides combinators to define \ |
|---|
| 18 | properties, observe the distribution of test data, and define test data generators. |
|---|
| 19 | |
|---|
| 20 | checksums md5 9fbf2948ef7fefc8a6e5dd945156a7dd \ |
|---|
| 21 | sha1 1fd79a1dabaf3a0e86ddc6988067d393aa7da4fc \ |
|---|
| 22 | rmd160 04941d49d02cb25bcfb83cfd82e46b0fea5e45d3 |
|---|
| 23 | |
|---|
| 24 | configure.args-append --enable-library-profiling |
|---|
| 25 | |
|---|
