currycheck-2.0.0 ---------------- Version 2.0.0 Author Michael Hanus Synopsis A tool to support automatic testing of Curry programs Category Testing Dependencies base >= 1.0.0, < 2.0.0 abstract-curry >= 2.0.0 ansi-terminal >= 0.0.1 cass-analysis >= 2.0.0 cass >= 2.0.0 contracts >= 0.0.1 csv >= 1.0.0 currypath >= 0.0.1 easycheck >= 0.0.1 flatcurry >= 2.0.0 frontend-exec >= 0.0.1 profiling >= 1.0.0 rewriting >= 2.0.0 setfunctions >= 0.0.1 wl-pprint >= 0.0.1 Compiler compatibility pakcs >= 2.0.0, < 3.0.0 kics2 >= 2.0.0, < 3.0.0 Executable Name curry-check Main module CurryCheck Config module CC.Config Test suite Directory examples Check options -m70 Test modules DefaultRulesTest DetOps ExampleTests ExamplesFromManual FloatTest HigherOrder Nats SEBF Sum SortSpec Tree Test suite Directory examples Check options -m70 -e ground Test modules ListSpecifications Test suite Directory examples/withVerification Test modules ListProp SortSpec Test suite Directory examples/equivalent_operations Test modules Fac SelectionSort SortISortEquiv Documentation Directory docs Main file main.tex Source Git https://git.ps.informatik.uni-kiel.de/curry-packages/currycheck.git@v2.0.0