failfree-4.0.0 -------------- Version 4.0.0 Author Michael Hanus Synopsis A tool to verify whether a Curry program executes without failures Category Programming Analysis Verification Dependencies base >= 3.0.0, < 4.0.0 cass-analysis >= 4.0.0, < 5.0.0 cass >= 4.0.0, < 5.0.0 containers >= 3.0.0, < 4.0.0 contracts >= 3.0.0, < 4.0.0 currypath >= 3.0.0, < 4.0.0 directory >= 3.0.0, < 4.0.0 execpath >= 3.0.0, < 4.0.0 filepath >= 3.0.0, < 4.0.0 flatcurry >= 3.0.0, < 5.0.0 flatcurry-smt ^2.0.0 flatcurry-annotated >= 3.3.0, < 4.0.0 flatcurry-type-annotated >= 3.3.0, < 4.0.0 io-extra >= 3.0.0, < 4.0.0 process >= 3.0.0, < 4.0.0 profiling >= 3.0.0, < 4.0.0 rw-data >= 1.0.0 showflatcurry >= 3.0.0, < 4.0.0 transformers >= 3.0.0, < 4.0.0 wl-pprint >= 3.0.0, < 4.0.0 Executable Name curry-failfree Main module Main Options kics2: :set rts -T Config module PackageConfig Test suite Directory examples Test script test.sh Test options -v Source Git https://github.com/curry-packages/failfree.git@v4.0.0 License BSD-3-Clause License file LICENSE