Uploaded at Dec 19 00:03:13 2020
Succesfully tested at May 30 05:03:52 2023

Curry Package easycheck

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