CurryTest: A Tool for Testing Curry Programs

CurryTest is a simple tool in the 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 PAKCS .

Snapshot of CurryTest's graphical interface: