currycheck-3.2.0 ---------------- Version 3.2.0 Author Michael Hanus Synopsis A tool to support automatic testing of Curry programs Category Testing Dependencies base >= 3.2.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 curry-source ^1.0.0 currypath >= 3.0.0, < 4.0.0 directory >= 3.0.0, < 4.0.0 easycheck >= 3.2.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 searchtree-extra ^1.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://github.com/curry-packages/currycheck.git@v3.2.0 License BSD-3-Clause License file LICENSE