[All bundles]


Source: repository
Dependencies: ciaopp

Test for CiaoPP

Note: This testsuite is not complete, please, contact us for other CiaoPP features.


Ciao (installed from git repository with ./ciao-boot.sh local-install) CiaoPP, installed with:
$ ciao get ciaopp
All code will be downloaded and built under the first directory specified in the CIAOPATH environment variable or ~/.ciao by default.


You can automatically fetch the tests with:
ciao get ciaopp_tests
or clone this repository under your CIAOPATH directory.

Available tests