====== CurryTest: A Tool for Testing Curry Programs ======

CurryTest is a simple tool in the
[[implementations:pakcs | PAKCS]] distribution to write and run
repeatable unit tests.
CurryTest simplifies the task of writing test cases for a module and executing them.
The tool is easy to use and comes with a graphical interface that
summarizes the results of all test. More details are described in the
user manual of [[implementations:pakcs | PAKCS ]].

Snapshot of CurryTest's graphical interface:

{{ tools:currytest.jpg?750 }}