Test for CiaoPP

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

Requirements

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.

Download

You can automatically fetch the tests with:

ciao get ciaopp_tests

or clone this repository under your CIAOPATH directory.

Available tests

• Incremental analysis