This package contains the tool curry-check that supports the automation of testing Curry programs. The tests to be executed can be unit tests as well as property tests parameterized over some arguments. The tests can be part of any Curry source program and, thus, they are also useful to document the code. The basic ideas of CurryCheck are described in a LOPSTR 2016 paper.
In addition to the functionality of other property-based tools, like QuickCheck, CurryCheck tests also specifications and contracts in Curry programs, determinism properties of operations, equivalence of operations, and performs some source code analysis to check the correct usage of some Curry features, like set functions, default rules, or primitives to implement functional patterns. Thus, it is recommended to use CurryCheck regularly when developing Curry programs.
The tool can be directly installed by the command
> cypm install currycheckThis installs the executable curry-check in the bin directory of CPM.
If the bin directory of CPM (default: ~/.cpm/bin) is in your path, execute the tool with the module containing the properties, e.g.,
> curry-check NatsThe directory examples of this package contains various example programs to demonstrate the functionality of CurryCheck. It also contains the following subdirectories with specific examples:
equivalent_operations: Examples to check the semantic equivalence of operations as described in the FLOPS 2018 paper.withVerification: Examples to demonstrate the combination of testing and verification.illegal_programs: Some programs showing unindented uses of Curry features that are detected by CurryCheck.