README.md 720 Bytes
Newer Older
Michael Hanus 's avatar
Michael Hanus committed
1 2 3 4 5 6 7 8 9 10 11 12 13 14
# 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

15
    > cypm install currycheck
Michael Hanus 's avatar
Michael Hanus committed
16 17 18 19 20 21 22 23 24 25 26

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