currycheck-1.0.0 ---------------- Version 1.0.0 Author Michael Hanus Synopsis A tool to support automatic testing of Curry programs Category Testing Dependencies 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 Source Git https://git.ps.informatik.uni-kiel.de/curry-packages/currycheck.git@v1.0.0