A tool to verify whether a Curry program executes without failures
Detailed package documentation (available shortly after this version has been published)