# currycheck - A Property Testing Tool for Curry

This package contains the tool `curry-check` that supports
the automation of testing Curry programs.
The tests to be executed can be unit tests as well as
property tests parameterized over some arguments.
The tests can be part of any Curry source program
and, thus, they are also useful to document the code.


## Installing the tool

The tool can be directly installed by the command

    > cpm installbin currycheck

This installs the executable `curry-check` in the bin directory of CPM.


## Using the tool

If the bin directory of CPM (default: `~/.cpm/bin`) is in your path,
execute the tool with the module containing the properties, e.g.,

    > curry-check Nats