Test for CiaoPPNote: This testsuite is not complete, please, contact us for other CiaoPP features.
RequirementsCiao (installed from git repository with ./ciao-boot.sh local-install) CiaoPP, installed with:
$ ciao get ciaoppAll code will be downloaded and built under the first directory specified in the CIAOPATH environment variable or ~/.ciao by default.
DownloadYou can automatically fetch the tests with:
ciao get ciaopp_testsor clone this repository under your CIAOPATH directory.