currycheck-3.0.0 ---------------- Version 3.0.0 Author Michael Hanus Synopsis A tool to support automatic testing of Curry programs Category Testing Dependencies base >= 3.0.0, < 4.0.0 abstract-curry >= 3.0.0, < 4.0.0 ansi-terminal >= 3.0.0, < 4.0.0 cass-analysis >= 3.0.0, < 4.0.0 cass >= 3.0.0, < 4.0.0 containers >= 3.0.0, < 4.0.0 contracts >= 3.0.0, < 4.0.0 csv >= 3.0.0, < 4.0.0 currypath >= 3.0.0, < 4.0.0 directory >= 3.0.0, < 4.0.0 easycheck >= 3.0.0, < 4.0.0 filepath >= 3.0.0, < 4.0.0 flatcurry >= 3.0.0, < 4.0.0 frontend-exec >= 3.0.0, < 4.0.0 process >= 3.0.0, < 4.0.0 profiling >= 3.0.0, < 4.0.0 rewriting >= 3.0.0, < 4.0.0 setfunctions >= 3.0.0, < 4.0.0 wl-pprint >= 3.0.0, < 4.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@v3.0.0 License BSD-3-Clause License file LICENSE