Curry Package 'currycheck'

API documentation
Manual (PDF)

Package metadata:

currycheck-2.0.0
----------------
Version      2.0.0
Author       Michael Hanus <mh@informatik.uni-kiel.de>
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
    cass-analysis >= 2.0.0
    cass >= 2.0.0
    flatcurry >= 2.0.0
    frontend-exec >= 0.0.1
    rewriting >= 2.0.0
    wl-pprint >= 0.0.1
Compiler compatibility
    pakcs >= 2.0.0
    kics2 >= 2.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