currycheck-1.0.1 ---------------- Version 1.0.1 Author Michael Hanus Synopsis A tool to support automatic testing of Curry programs Category Testing Dependencies abstract-curry >= 1.0.0 flatcurry >= 1.0.0 rewriting >= 0.0.1 Compiler compatibility pakcs >= 1.14.0, < 2.0.0 kics2 >= 0.5.0, < 2.0.0 Executable Name curry-check Main module CurryCheck Config module CurryCheckConfig Test suite Directory examples Test modules DefaultRulesTest DetOperations ExampleTests ExamplesFromManual FloatTest ListSpecifications Nats SEBF Sum SortSpec Tree Test suite Directory examples/withVerification Test modules ListProp SortSpec Documentation Directory docs Main file main.tex Source Git https://git.ps.informatik.uni-kiel.de/curry-packages/currycheck.git@v1.0.1