F

failfree

A tool to verify whether a Curry program executes without failures