easycheck: libraries for automated, property-based testing

EasyCheck is a library for automated, property-based testing of Curry programs. The ideas behind EasyCheck are described in this paper.

These libraries are used by the CurryCheck tool which automatically executes tests defined with these libraries. CurryCheck supports the definition of unit tests (also for I/O operations) and property tests parameterized over some arguments. CurryCheck is described in more detail in this paper.

Download

Checkout with CPM:

cypm checkout easycheck 3.0.0

Package source:

easycheck-3.0.0.tar.gz [browse]

Source repository:

https://git.ps.informatik.uni-kiel.de/curry-packages/easycheck.git